@Override
public void actionPerformed(ActionEvent e) {
// TODO Auto-generated method stub
Object source = e.getSource();
if (source == ok) {
response = APPLY_OPTION;
this.setVisible(false);
} else if (source == cancel) {
response = CANCEL_OPTION;
this.setVisible(false);
} else if (source == sizeCombo) {
// get the number from the source
JComboBox number = (JComboBox) source;
String numberItem = (String) number.getSelectedItem();
Font temp = example.getFont();
// then set the font
int newSize = Integer.parseInt(numberItem);
example.setFont(new Font(temp.getFamily(), temp.getStyle(), newSize));
} else if (source == fontCombo) {
JComboBox font = (JComboBox) source;
String s = (String) font.getSelectedItem();
Font tmp = example.getFont();
example.setFont(new Font(s, tmp.getStyle(), tmp.getSize()));
} else if (source == foreground) {
Color tmp = JColorChooser.showDialog(this, "Choose text color", example.getForeground());
MenuBar.shapeLBG.setBackground(tmp);
if (tmp != null) example.setForeground(tmp);
}
}
private void _applyFontStyleForSelection(Font font) {
StyledDocument doc = mTextEditor.getStyledDocument();
MutableAttributeSet attrs = mTextEditor.getInputAttributes();
StyleConstants.setFontFamily(attrs, font.getFamily());
StyleConstants.setFontSize(attrs, font.getSize());
StyleConstants.setBold(attrs, ((font.getStyle() & Font.BOLD) != 0));
StyleConstants.setItalic(attrs, ((font.getStyle() & Font.ITALIC) != 0));
StyleConstants.setUnderline(attrs, ((font.getStyle() & Font.CENTER_BASELINE) != 0));
int start = mTextEditor.getSelectionStart();
int end = mTextEditor.getSelectionEnd();
doc.setCharacterAttributes(start, (end - start), attrs, false);
}
public RollResultView() {
this.setOpaque(true);
this.setLayout(new BorderLayout());
this.setBorder(BorderFactory.createLineBorder(Color.black, BORDER_WIDTH));
// add the title label to the panel
titleLabel = new JLabel("Roll Results");
Font titleLabelFont = titleLabel.getFont();
titleLabelFont = titleLabelFont.deriveFont(titleLabelFont.getStyle(), TITLE_TEXT_SIZE);
titleLabel.setFont(titleLabelFont);
this.add(titleLabel, BorderLayout.NORTH);
// add the button to the panel
okayButton = new JButton("Okay");
okayButton.addActionListener(actionListener);
Font okayButtonFont = okayButton.getFont();
okayButtonFont = okayButtonFont.deriveFont(okayButtonFont.getStyle(), BUTTON_TEXT_SIZE);
okayButton.setFont(okayButtonFont);
this.add(okayButton, BorderLayout.SOUTH);
// create the rollLabel
rollLabel =
new JLabel(
"ERROR: YOU FORGOT TO SET THE ROLL VALUE BEFORE DISPLAYING THIS WINDOW... NAUGHTY, NAUGHTY");
Font rollLabelFont = rollLabel.getFont();
rollLabelFont = rollLabelFont.deriveFont(rollLabelFont.getStyle(), LABEL_TEXT_SIZE);
rollLabel.setFont(rollLabelFont);
rollLabel.setHorizontalAlignment(SwingConstants.CENTER);
rollLabel.setBorder(BorderFactory.createEmptyBorder(25, 0, 25, 0));
// create the picture
picture =
new ImageIcon(
ImageUtils.loadImage("images/resources/resources.png")
.getScaledInstance(250, 250, Image.SCALE_SMOOTH));
pictureLabel = new JLabel();
pictureLabel.setIcon(picture);
// create the center label
centerPanel = new JPanel();
centerPanel.setLayout(new BorderLayout());
centerPanel.add(pictureLabel, BorderLayout.NORTH);
centerPanel.add(Box.createRigidArea(new Dimension(25, 25)));
centerPanel.add(rollLabel, BorderLayout.SOUTH);
this.add(centerPanel, BorderLayout.CENTER);
// add some spacing
this.add(Box.createRigidArea(new Dimension(50, 50)), BorderLayout.EAST);
this.add(Box.createRigidArea(new Dimension(50, 50)), BorderLayout.WEST);
}
public void setSelectedFont(Font font) {
selectedFont = font;
family = font.getFamily();
style = font.getStyle();
size = font.getSize();
preview.setFont(font);
}
private int computeTextWidth(@NotNull Font font, final boolean mainTextOnly) {
int result = 0;
int baseSize = font.getSize();
boolean wasSmaller = false;
for (int i = 0; i < myAttributes.size(); i++) {
SimpleTextAttributes attributes = myAttributes.get(i);
boolean isSmaller = attributes.isSmaller();
if (font.getStyle() != attributes.getFontStyle()
|| isSmaller != wasSmaller) { // derive font only if it is necessary
font =
font.deriveFont(
attributes.getFontStyle(),
isSmaller ? UIUtil.getFontSize(UIUtil.FontSize.SMALL) : baseSize);
}
wasSmaller = isSmaller;
result += computeStringWidth(i, font);
final int fixedWidth = myFragmentPadding.get(i);
if (fixedWidth > 0 && result < fixedWidth) {
result = fixedWidth;
}
if (mainTextOnly && myMainTextLastIndex >= 0 && i == myMainTextLastIndex) break;
}
return result;
}
public static void bumpUpFontSize(Component widget, int bumps) {
if (!UserPreferences.readLocalePref()
.equals("ko")) { // HACK!!! refector with variable localeSupportsBold
Font f = widget.getFont();
widget.setFont(new Font(f.getFamily(), f.getStyle(), f.getSize() + bumps));
}
}
@Override
public UIDefaults getDefaults() {
try {
final Method superMethod = BasicLookAndFeel.class.getDeclaredMethod("getDefaults");
superMethod.setAccessible(true);
final UIDefaults metalDefaults = (UIDefaults) superMethod.invoke(new MetalLookAndFeel());
final UIDefaults defaults = (UIDefaults) superMethod.invoke(base);
if (SystemInfo.isLinux) {
if (!Registry.is("darcula.use.native.fonts.on.linux")) {
Font font = findFont("DejaVu Sans");
if (font != null) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
defaults.put(key, new FontUIResource(font.deriveFont(13f)));
}
}
}
} else if (Arrays.asList("CN", "JP", "KR", "TW")
.contains(Locale.getDefault().getCountry())) {
for (Object key : defaults.keySet()) {
if (key instanceof String && ((String) key).endsWith(".font")) {
final Font font = defaults.getFont(key);
if (font != null) {
defaults.put(key, new FontUIResource("Dialog", font.getStyle(), font.getSize()));
}
}
}
}
}
LafManagerImpl.initInputMapDefaults(defaults);
initIdeaDefaults(defaults);
patchStyledEditorKit(defaults);
patchComboBox(metalDefaults, defaults);
defaults.remove("Spinner.arrowButtonBorder");
defaults.put("Spinner.arrowButtonSize", JBUI.size(16, 5).asUIResource());
MetalLookAndFeel.setCurrentTheme(createMetalTheme());
if (SystemInfo.isWindows && Registry.is("ide.win.frame.decoration")) {
JFrame.setDefaultLookAndFeelDecorated(true);
JDialog.setDefaultLookAndFeelDecorated(true);
}
if (SystemInfo.isLinux && JBUI.isHiDPI()) {
applySystemFonts(defaults);
}
defaults.put("EditorPane.font", defaults.getFont("TextField.font"));
return defaults;
} catch (Exception e) {
log(e);
}
return super.getDefaults();
}
public MaritimeTradeView() {
this.setLayout(new BoxLayout(this, BoxLayout.X_AXIS));
Font font = new JButton().getFont();
Font newFont = font.deriveFont(font.getStyle(), 20);
button = new JButton("Maritime Trade");
button.setFont(newFont);
button.addActionListener(buttonListener);
this.add(button);
}
public void setFont(Font f) {
if (f != null) {
String str = f.getName();
int style = f.getStyle();
String size = "" + f.getSize();
for (int i = 0; i < fontList.getModel().getSize(); i++) {
String listStr = ((String) fontList.getModel().getElementAt(i)).toLowerCase();
if (listStr.equals(str.toLowerCase())) {
Object value = fontList.getModel().getElementAt(i);
fontList.setSelectedValue(value, true);
fontBox.setText((String) value);
break;
}
}
switch (style) {
case Font.PLAIN:
styleList.setSelectedIndex(0);
break;
case Font.ITALIC:
styleList.setSelectedIndex(2);
break;
case Font.BOLD:
styleList.setSelectedIndex(1);
break;
case Font.BOLD | Font.ITALIC:
styleList.setSelectedIndex(3);
break;
}
boolean found = false;
for (int i = 0; i < sizeList.getModel().getSize(); i++) {
String listStr = ((String) sizeList.getModel().getElementAt(i)).toLowerCase();
if (listStr.equals(size.toLowerCase())) {
Object value = sizeList.getModel().getElementAt(i);
sizeList.setSelectedValue(value, true);
sizeBox.setText((String) value);
found = true;
break;
}
}
if (!found) {
sizeBox.setText(size);
}
}
}
@Override
protected JComponent getRowPresentation(
ParameterTableModelItemBase<ParameterInfoImpl> item,
boolean selected,
final boolean focused) {
final JPanel panel = new JPanel(new BorderLayout());
final String typeText = item.typeCodeFragment.getText();
final String separator =
StringUtil.repeatSymbol(' ', getTypesMaxLength() - typeText.length() + 1);
String text = typeText + separator + item.parameter.getName();
final String defaultValue = item.defaultValueCodeFragment.getText();
String tail = "";
if (StringUtil.isNotEmpty(defaultValue)) {
tail += " default value = " + defaultValue;
}
if (item.parameter.isUseAnySingleVariable()) {
if (StringUtil.isNotEmpty(defaultValue)) {
tail += ";";
}
tail += " Use any var.";
}
if (!StringUtil.isEmpty(tail)) {
text += " //" + tail;
}
final EditorTextField field =
new EditorTextField(" " + text, getProject(), getFileType()) {
@Override
protected boolean shouldHaveBorder() {
return false;
}
};
Font font = EditorColorsManager.getInstance().getGlobalScheme().getFont(EditorFontType.PLAIN);
font = new Font(font.getFontName(), font.getStyle(), 12);
field.setFont(font);
if (selected && focused) {
panel.setBackground(UIUtil.getTableSelectionBackground());
field.setAsRendererWithSelection(
UIUtil.getTableSelectionBackground(), UIUtil.getTableSelectionForeground());
} else {
panel.setBackground(UIUtil.getTableBackground());
if (selected && !focused) {
panel.setBorder(new DottedBorder(UIUtil.getTableForeground()));
}
}
panel.add(field, BorderLayout.WEST);
return panel;
}
@Override
public Component getListCellRendererComponent(
JList list, Object value, int index, boolean isSelected, boolean cellHasFocus) {
if (!(value instanceof Delimiter)) {
return super.getListCellRendererComponent(list, value, index, isSelected, cellHasFocus);
} else {
JLabel label = new JLabel(value.toString());
Font f = label.getFont();
label.setFont(f.deriveFont(f.getStyle() | Font.BOLD | Font.ITALIC));
Dimension size = label.getPreferredSize();
size.height += 5;
label.setPreferredSize(size);
return label;
}
}
public void startDrop(PieceType pieceType, CatanColor pieceColor, boolean isCancelAllowed) {
this.setOpaque(false);
this.setLayout(new BorderLayout());
this.setBorder(BorderFactory.createLineBorder(Color.black, BORDER_WIDTH));
label = new JLabel(getLabelText(pieceType), JLabel.CENTER);
label.setOpaque(true);
label.setBackground(Color.white);
Font labelFont = label.getFont();
labelFont = labelFont.deriveFont(labelFont.getStyle(), LABEL_TEXT_SIZE);
label.setFont(labelFont);
map = mainMap.copy();
map.setController(getController());
int prefWidth = (int) (mainMap.getScale() * mainMap.getPreferredSize().getWidth());
int prefHeight = (int) (mainMap.getScale() * mainMap.getPreferredSize().getHeight());
Dimension prefSize = new Dimension(prefWidth, prefHeight);
map.setPreferredSize(prefSize);
this.add(label, BorderLayout.NORTH);
this.add(map, BorderLayout.CENTER);
if (isCancelAllowed) {
cancelButton = new JButton("Cancel");
Font buttonFont = cancelButton.getFont();
buttonFont = buttonFont.deriveFont(buttonFont.getStyle(), BUTTON_TEXT_SIZE);
cancelButton.setFont(buttonFont);
cancelButton.addActionListener(cancelButtonListener);
this.add(cancelButton, BorderLayout.SOUTH);
}
map.startDrop(pieceType, pieceColor);
}
@Override
public void itemStateChanged(ItemEvent e) {
// TODO Auto-generated method stub
Object source = e.getSource();
Font tmp = example.getFont();
int style = tmp.getStyle();
if (source == italic)
if (italic.isSelected()) style = style | Font.ITALIC; // turn italic on
else style = style & ~Font.ITALIC; // turn italic off
else if (source == bold)
if (bold.isSelected()) style = style | Font.BOLD; // turn bold on
else style = style & ~Font.BOLD; // turn bold off
example.setFont(new Font(tmp.getFamily(), style, tmp.getSize()));
}
/**
* Returns the index of text fragment at the specified X offset.
*
* @param x the offset
* @return the index of the fragment, {@link #FRAGMENT_ICON} if the icon is at the offset, or -1
* if nothing is there.
*/
public int findFragmentAt(int x) {
int curX = myIpad.left;
if (myIcon != null && !myIconOnTheRight) {
final int iconRight = myIcon.getIconWidth() + myIconTextGap;
if (x < iconRight) {
return FRAGMENT_ICON;
}
curX += iconRight;
}
Font font = getBaseFont();
int baseSize = font.getSize();
boolean wasSmaller = false;
for (int i = 0; i < myAttributes.size(); i++) {
SimpleTextAttributes attributes = myAttributes.get(i);
boolean isSmaller = attributes.isSmaller();
if (font.getStyle() != attributes.getFontStyle()
|| isSmaller != wasSmaller) { // derive font only if it is necessary
font =
font.deriveFont(
attributes.getFontStyle(),
isSmaller ? UIUtil.getFontSize(UIUtil.FontSize.SMALL) : baseSize);
}
wasSmaller = isSmaller;
final int curWidth = computeStringWidth(i, font);
if (x >= curX && x < curX + curWidth) {
return i;
}
curX += curWidth;
final int fragmentPadding = myFragmentPadding.get(i);
if (fragmentPadding > 0 && curX < fragmentPadding) {
curX = fragmentPadding;
}
}
if (myIcon != null && myIconOnTheRight) {
curX += myIconTextGap;
if (x >= curX && x < curX + myIcon.getIconWidth()) {
return FRAGMENT_ICON;
}
}
return -1;
}
@Override
public void _setTextBadge(IdeFrame frame, String text) {
if (!isValid(frame)) {
return;
}
Object icon = null;
if (text != null) {
try {
int size = 55;
BufferedImage image = UIUtil.createImage(size, size, BufferedImage.TYPE_INT_ARGB);
Graphics2D g = image.createGraphics();
int roundSize = 40;
g.setRenderingHint(RenderingHints.KEY_ANTIALIASING, RenderingHints.VALUE_ANTIALIAS_ON);
g.setPaint(ERROR_COLOR);
g.fillRoundRect(
size / 2 - roundSize / 2, size / 2 - roundSize / 2, roundSize, roundSize, size, size);
g.setColor(Color.white);
Font font = g.getFont();
g.setFont(new Font(font.getName(), font.getStyle(), 22));
FontMetrics fontMetrics = g.getFontMetrics();
int width = fontMetrics.stringWidth(text);
g.drawString(
text,
size / 2 - width / 2,
size / 2 - fontMetrics.getHeight() / 2 + fontMetrics.getAscent());
ByteArrayOutputStream bytes = new ByteArrayOutputStream();
Sanselan.writeImage(image, bytes, ImageFormat.IMAGE_FORMAT_ICO, new HashMap());
icon = Win7TaskBar.createIcon(bytes.toByteArray());
} catch (Throwable e) {
LOG.error(e);
}
}
try {
Win7TaskBar.setOverlayIcon(frame, icon, icon != null);
} catch (Throwable e) {
LOG.error(e);
}
}
public void adjustFont(int w, int h) {
if (h <= 0) return;
int oldH = rHeight;
if (font == null) {
font = getFont();
fontH = font.getSize();
rHeight = fontH;
}
nHeight = h;
if (fontH >= h) rHeight = h - 2;
else rHeight = fontH;
if ((rHeight < 10) && (fontH > 10)) rHeight = 10;
if (oldH != rHeight) {
// Font curFont = font.deriveFont((float) rHeight);
Font curFont = DisplayOptions.getFont(font.getName(), font.getStyle(), rHeight);
setFont(curFont);
}
if (rHeight > h) rHeight = h;
}
private TextLayout createAndCacheTextLayout(
int fragmentIndex, Font basefont, FontRenderContext fontRenderContext) {
String text = myFragments.get(fragmentIndex);
AttributedString string = new AttributedString(text);
int start = 0;
int end = text.length();
AttributedCharacterIterator it =
string.getIterator(new AttributedCharacterIterator.Attribute[0], start, end);
Font currentFont = basefont;
int currentIndex = start;
for (char c = it.first(); c != CharacterIterator.DONE; c = it.next()) {
Font font = basefont;
if (!font.canDisplay(c)) {
for (SuitableFontProvider provider : SuitableFontProvider.EP_NAME.getExtensions()) {
font =
provider.getFontAbleToDisplay(
c, basefont.getSize(), basefont.getStyle(), basefont.getFamily());
if (font != null) break;
}
}
int i = it.getIndex();
if (!Comparing.equal(currentFont, font)) {
if (i > currentIndex) {
string.addAttribute(TextAttribute.FONT, currentFont, currentIndex, i);
}
currentFont = font;
currentIndex = i;
}
}
if (currentIndex < end) {
string.addAttribute(TextAttribute.FONT, currentFont, currentIndex, end);
}
TextLayout layout = new TextLayout(string.getIterator(), fontRenderContext);
if (fragmentIndex >= myLayouts.size()) {
myLayouts.addAll(Collections.nCopies(fragmentIndex - myLayouts.size() + 1, null));
}
myLayouts.set(fragmentIndex, layout);
myLayoutFont = getBaseFont();
return layout;
}
private void updateText() {
Font font = getFont();
String styleString;
switch (font.getStyle()) {
case Font.PLAIN:
styleString = jEdit.getProperty("font-selector.plain");
break;
case Font.BOLD:
styleString = jEdit.getProperty("font-selector.bold");
break;
case Font.ITALIC:
styleString = jEdit.getProperty("font-selector.italic");
break;
case Font.BOLD | Font.ITALIC:
styleString = jEdit.getProperty("font-selector.bolditalic");
break;
default:
styleString = "UNKNOWN!!!???";
break;
}
setText(font.getName() + ' ' + font.getSize() + ' ' + styleString);
}
public int showCustomDialog(Frame f, Font fontArg, Color foreColorArg, Color backColorArg) {
this.setLocationRelativeTo(f);
String s = fontArg.getName();
fontCombo.setSelectedItem((Object) s);
int style = fontArg.getStyle();
if ((style & Font.ITALIC) == 0) italic.setSelected(false);
else italic.setSelected(true);
if ((style & Font.BOLD) == 0) bold.setSelected(false);
else bold.setSelected(true);
int size = fontArg.getSize();
sizeCombo.setSelectedItem((Object) ("" + size));
example.setFont(fontArg);
example.setForeground(MenuBar.shapeLBG.getBackground());
// show the dialog
this.setVisible(true);
return response;
}
private int getColumnWidth(int index) {
int letters = getTypesMaxLength() + (index == 0 ? 1 : getNamesMaxLength() + 2);
Font font = EditorColorsManager.getInstance().getGlobalScheme().getFont(EditorFontType.PLAIN);
font = new Font(font.getFontName(), font.getStyle(), 12);
return letters * Toolkit.getDefaultToolkit().getFontMetrics(font).stringWidth("W");
}
public void fillPopupMenu() {
JMenuItem item;
TextImageIcon textIcon;
StatementHistory history;
int rowCount = 0;
int numRows = 0;
Insets margin = new Insets(0, 0, 0, 0);
// Get the font defined in the displayOptions panel for menus
Font ft = DisplayOptions.getFont("Menu1");
// We need a fairly small font, so make it 2 smaller.
int size = ft.getSize();
// If larger than 12, subtract 2
if (size > 12) size -= 2;
Font font = DisplayOptions.getFont(ft.getName(), ft.getStyle(), size);
// This flag is used so that we only fill the menu when needed
if (menuAlreadyFilled) return;
menuAlreadyFilled = true;
history = sshare.statementHistory();
ArrayList list = history.getNamedStatementList();
Color bgColor = Util.getBgColor();
// Only show the Saved Statements section if there are some.
if (list != null && list.size() != 0) {
item = popup.add("Saved Statements");
rowCount++;
// item.setForeground(Color.blue);
// item.setBackground(bgColor);
item.setFont(font);
item.setMargin(margin);
popup.add(item);
for (int i = 0; i < list.size(); i++) {
ArrayList nameNlabel = (ArrayList) list.get(i);
// first item in nameNlabel is name and second is label
item = popup.add(" " + (String) nameNlabel.get(1));
rowCount++;
item.setActionCommand("save:" + (String) nameNlabel.get(0));
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
}
}
// the rest of menu (return object types, statement types, etc.)
ShufflerService shufflerService = sshare.shufflerService();
ArrayList objTypes = shufflerService.getAllMenuObjectTypes();
for (int i = 0; i < objTypes.size(); i++) {
String objType = (String) objTypes.get(i);
// Do not display menu for DB_AVAIL_SUB_TYPES
if (objType.equals(Shuf.DB_AVAIL_SUB_TYPES)) continue;
// addSeparator looks bad using GridLayout because it creates rows
// and columns which are all equal in size. It cannot have a row
// with a separator which is a different height than the other
// rectangles it creates. So just use dashes.
item = popup.add(separator);
item.setFont(font);
item.setMargin(margin);
rowCount++;
item = popup.add(shufflerService.getCategoryLabel(objType));
rowCount++;
// item.setForeground(Color.blue);
item.setActionCommand("title:" + objType);
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
ArrayList menuStrings = shufflerService.getmenuStringsThisObj(objType);
// If current rowCount plus the next section size is too big,
// specify the numRows to the current value of rowCount -1.
// That is, put this next section in a new column.
// 47 is emperical number of rows to fit 90% full screen.
if (numRows == 0 && rowCount - 1 + menuStrings.size() > 44) {
numRows = rowCount - 2;
}
for (int j = 0; j < menuStrings.size(); j++) {
String menuString = (String) menuStrings.get(j);
item = popup.add(" " + menuString);
rowCount++;
item.setActionCommand("command:" + objType + "/" + menuString);
// item.setBackground(bgColor);
item.addActionListener(popActionListener);
item.setFont(font);
item.setMargin(margin);
}
// The spotter menu changes dynamically when
// the list of saved statements changes.
history.addStatementListener(
new StatementAdapter() {
public void saveListChanged() {
refreshSaveMenu();
}
});
}
if (numRows == 0) numRows = rowCount;
GridLayoutCol lm = new GridLayoutCol(numRows, 0);
popup.setLayout(lm);
}
private void init(Font font) {
JPanel content = new JPanel(new BorderLayout());
content.setBorder(new EmptyBorder(12, 12, 12, 12));
setContentPane(content);
JPanel listPanel = new JPanel(new GridLayout(1, 3, 6, 6));
String[] fonts;
try {
fonts = getFontList();
} catch (Exception e) {
Log.log(Log.ERROR, this, "Broken Java implementation!");
Log.log(Log.ERROR, this, e);
fonts = new String[] {"Broken Java implementation!"};
}
JPanel familyPanel =
createTextFieldAndListPanel(
"font-selector.family", familyField = new JTextField(), familyList = new JList(fonts));
listPanel.add(familyPanel);
String[] sizes = {"9", "10", "12", "14", "16", "18", "24"};
JPanel sizePanel =
createTextFieldAndListPanel(
"font-selector.size", sizeField = new JTextField(), sizeList = new JList(sizes));
listPanel.add(sizePanel);
String[] styles = {
jEdit.getProperty("font-selector.plain"),
jEdit.getProperty("font-selector.bold"),
jEdit.getProperty("font-selector.italic"),
jEdit.getProperty("font-selector.bolditalic")
};
JPanel stylePanel =
createTextFieldAndListPanel(
"font-selector.style", styleField = new JTextField(), styleList = new JList(styles));
styleField.setEditable(false);
listPanel.add(stylePanel);
familyList.setSelectedValue(font.getFamily(), true);
familyField.setText(font.getFamily());
sizeList.setSelectedValue(String.valueOf(font.getSize()), true);
sizeField.setText(String.valueOf(font.getSize()));
styleList.setSelectedIndex(font.getStyle());
styleField.setText((String) styleList.getSelectedValue());
ListHandler listHandler = new ListHandler();
familyList.addListSelectionListener(listHandler);
sizeList.addListSelectionListener(listHandler);
styleList.addListSelectionListener(listHandler);
content.add(BorderLayout.NORTH, listPanel);
preview =
new JLabel(jEdit.getProperty("font-selector.long-text")) {
public void paintComponent(Graphics g) {
if (fontSelector != null) fontSelector.setAntiAliasEnabled(g);
super.paintComponent(g);
}
};
preview.setBorder(new TitledBorder(jEdit.getProperty("font-selector.preview")));
updatePreview();
Dimension prefSize = preview.getPreferredSize();
prefSize.height = 50;
preview.setPreferredSize(prefSize);
content.add(BorderLayout.CENTER, preview);
JPanel buttons = new JPanel();
buttons.setLayout(new BoxLayout(buttons, BoxLayout.X_AXIS));
buttons.setBorder(new EmptyBorder(12, 0, 0, 0));
buttons.add(Box.createGlue());
ok = new JButton(jEdit.getProperty("common.ok"));
ok.addActionListener(new ActionHandler());
getRootPane().setDefaultButton(ok);
buttons.add(ok);
buttons.add(Box.createHorizontalStrut(6));
cancel = new JButton(jEdit.getProperty("common.cancel"));
cancel.addActionListener(new ActionHandler());
buttons.add(cancel);
buttons.add(Box.createGlue());
content.add(BorderLayout.SOUTH, buttons);
pack();
setLocationRelativeTo(getParent());
setVisible(true);
}
/** Main function for building the merge entry JPanel */
private void initialize() {
joint = new TreeSet<>(one.getFieldNames());
joint.addAll(two.getFieldNames());
// Remove field starting with __
TreeSet<String> toberemoved = new TreeSet<>();
for (String field : joint) {
if (field.startsWith("__")) {
toberemoved.add(field);
}
}
for (String field : toberemoved) {
joint.remove(field);
}
// Create storage arrays
rb = new JRadioButton[3][joint.size() + 1];
ButtonGroup[] rbg = new ButtonGroup[joint.size() + 1];
identical = new Boolean[joint.size() + 1];
jointStrings = new String[joint.size()];
// Create main layout
String colSpecMain =
"left:pref, 5px, center:3cm:grow, 5px, center:pref, 3px, center:pref, 3px, center:pref, 5px, center:3cm:grow";
String colSpecMerge =
"left:pref, 5px, fill:3cm:grow, 5px, center:pref, 3px, center:pref, 3px, center:pref, 5px, fill:3cm:grow";
String rowSpec = "pref, pref, 10px, fill:5cm:grow, 10px, pref, 10px, fill:3cm:grow";
StringBuilder rowBuilder = new StringBuilder("");
for (int i = 0; i < joint.size(); i++) {
rowBuilder.append("pref, ");
}
rowBuilder.append("pref");
FormLayout mainLayout = new FormLayout(colSpecMain, rowSpec);
FormLayout mergeLayout = new FormLayout(colSpecMerge, rowBuilder.toString());
mainPanel.setLayout(mainLayout);
mergePanel.setLayout(mergeLayout);
JLabel label = new JLabel(Localization.lang("Use"));
Font font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mainPanel.add(label, cc.xyw(4, 1, 7, "center, bottom"));
// Set headings
JLabel headingLabels[] = new JLabel[6];
for (int i = 0; i < 6; i++) {
headingLabels[i] = new JLabel(columnHeadings[i]);
font = headingLabels[i].getFont();
headingLabels[i].setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mainPanel.add(headingLabels[i], cc.xy(1 + (i * 2), 2));
}
mainPanel.add(new JSeparator(), cc.xyw(1, 3, 11));
// Start with entry type
EntryType type1 = one.getType();
EntryType type2 = two.getType();
mergedEntry.setType(type1);
label = new JLabel(Localization.lang("Entry type"));
font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mergePanel.add(label, cc.xy(1, 1));
JTextArea type1ta = new JTextArea(type1.getName());
type1ta.setEditable(false);
mergePanel.add(type1ta, cc.xy(3, 1));
if (type1.compareTo(type2) != 0) {
identical[0] = false;
rbg[0] = new ButtonGroup();
for (int k = 0; k < 3; k += 2) {
rb[k][0] = new JRadioButton();
rbg[0].add(rb[k][0]);
mergePanel.add(rb[k][0], cc.xy(5 + (k * 2), 1));
rb[k][0].addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
updateAll();
}
});
}
rb[0][0].setSelected(true);
} else {
identical[0] = true;
}
JTextArea type2ta = new JTextArea(type2.getName());
type2ta.setEditable(false);
mergePanel.add(type2ta, cc.xy(11, 1));
// For all fields in joint add a row and possibly radio buttons
int row = 2;
int maxLabelWidth = -1;
int tmpLabelWidth = 0;
for (String field : joint) {
jointStrings[row - 2] = field;
label = new JLabel(CaseChangers.UPPER_FIRST.format(field));
font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mergePanel.add(label, cc.xy(1, row));
String string1 = one.getField(field);
String string2 = two.getField(field);
identical[row - 1] = false;
if ((string1 != null) && (string2 != null)) {
if (string1.equals(string2)) {
identical[row - 1] = true;
}
}
tmpLabelWidth = label.getPreferredSize().width;
if (tmpLabelWidth > maxLabelWidth) {
maxLabelWidth = tmpLabelWidth;
}
if ("abstract".equals(field) || "review".equals(field)) {
// Treat the abstract and review fields special
JTextArea tf = new JTextArea();
tf.setLineWrap(true);
tf.setEditable(false);
JScrollPane jsptf = new JScrollPane(tf);
mergeLayout.setRowSpec(row, RowSpec.decode("center:2cm:grow"));
mergePanel.add(jsptf, cc.xy(3, row, "f, f"));
tf.setText(string1);
tf.setCaretPosition(0);
} else {
JTextArea tf = new JTextArea(string1);
mergePanel.add(tf, cc.xy(3, row));
tf.setCaretPosition(0);
tf.setEditable(false);
}
// Add radio buttons if the two entries do not have identical fields
if (!identical[row - 1]) {
rbg[row - 1] = new ButtonGroup();
for (int k = 0; k < 3; k++) {
rb[k][row - 1] = new JRadioButton();
rbg[row - 1].add(rb[k][row - 1]);
mergePanel.add(rb[k][row - 1], cc.xy(5 + (k * 2), row));
rb[k][row - 1].addChangeListener(
new ChangeListener() {
@Override
public void stateChanged(ChangeEvent e) {
updateAll();
}
});
}
if (string1 != null) {
mergedEntry.setField(field, string1);
rb[0][row - 1].setSelected(true);
if (string2 == null) {
rb[2][row - 1].setEnabled(false);
}
} else {
rb[0][row - 1].setEnabled(false);
mergedEntry.setField(field, string2);
rb[2][row - 1].setSelected(true);
}
} else {
mergedEntry.setField(field, string1);
}
if ("abstract".equals(field) || "review".equals(field)) {
// Again, treat abstract and review special
JTextArea tf = new JTextArea();
tf.setLineWrap(true);
tf.setEditable(false);
JScrollPane jsptf = new JScrollPane(tf);
mergePanel.add(jsptf, cc.xy(11, row, "f, f"));
tf.setText(string2);
tf.setCaretPosition(0);
} else {
JTextArea tf = new JTextArea(string2);
mergePanel.add(tf, cc.xy(11, row));
tf.setCaretPosition(0);
tf.setEditable(false);
}
row++;
}
JScrollPane scrollPane =
new JScrollPane(
mergePanel,
JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
scrollPane.setBorder(BorderFactory.createEmptyBorder());
mainPanel.add(scrollPane, cc.xyw(1, 4, 11));
mainPanel.add(new JSeparator(), cc.xyw(1, 5, 11));
// Synchronize column widths
String rbAlign[] = {"right", "center", "left"};
mainLayout.setColumnSpec(1, ColumnSpec.decode(Integer.toString(maxLabelWidth) + "px"));
Integer maxRBWidth = -1;
Integer tmpRBWidth;
for (int k = 0; k < 3; k++) {
tmpRBWidth = headingLabels[k + 2].getPreferredSize().width;
if (tmpRBWidth > maxRBWidth) {
maxRBWidth = tmpRBWidth;
}
}
for (int k = 0; k < 3; k++) {
mergeLayout.setColumnSpec(
5 + (k * 2), ColumnSpec.decode(rbAlign[k] + ":" + maxRBWidth + "px"));
}
// Setup a PreviewPanel and a Bibtex source box for the merged entry
label = new JLabel(Localization.lang("Merged entry"));
font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mainPanel.add(label, cc.xyw(1, 6, 6));
String layoutString = Globals.prefs.get(JabRefPreferences.PREVIEW_0);
pp = new PreviewPanel(null, mergedEntry, null, new MetaData(), layoutString);
// JScrollPane jsppp = new JScrollPane(pp, JScrollPane.VERTICAL_SCROLLBAR_AS_NEEDED,
// JScrollPane.HORIZONTAL_SCROLLBAR_NEVER);
mainPanel.add(pp, cc.xyw(1, 8, 6));
label = new JLabel(Localization.lang("Merged BibTeX source code"));
font = label.getFont();
label.setFont(font.deriveFont(font.getStyle() | Font.BOLD));
mainPanel.add(label, cc.xyw(8, 6, 4));
jta = new JTextArea();
jta.setLineWrap(true);
JScrollPane jspta = new JScrollPane(jta);
mainPanel.add(jspta, cc.xyw(8, 8, 4));
jta.setEditable(false);
StringWriter sw = new StringWriter();
try {
new BibtexEntryWriter(new LatexFieldFormatter(), false).write(mergedEntry, sw);
} catch (IOException ex) {
LOGGER.error("Error in entry" + ": " + ex.getMessage(), ex);
}
jta.setText(sw.getBuffer().toString());
jta.setCaretPosition(0);
// Add some margin around the layout
mainLayout.appendRow(RowSpec.decode("10px"));
mainLayout.appendColumn(ColumnSpec.decode("10px"));
mainLayout.insertRow(1, RowSpec.decode("10px"));
mainLayout.insertColumn(1, ColumnSpec.decode("10px"));
if (mainPanel.getHeight() > DIM.height) {
mainPanel.setSize(new Dimension(mergePanel.getWidth(), DIM.height));
}
if (mainPanel.getWidth() > DIM.width) {
mainPanel.setSize(new Dimension(DIM.width, mergePanel.getHeight()));
}
// Everything done, allow any action to actually update the merged entry
doneBuilding = true;
// Show what we've got
mainPanel.setVisible(true);
javax.swing.SwingUtilities.invokeLater(
new Runnable() {
@Override
public void run() {
scrollPane.getVerticalScrollBar().setValue(0);
}
});
}
protected int doPaintText(Graphics2D g, int offset, boolean focusAroundIcon) {
// If there is no icon, then we have to add left internal padding
if (offset == 0) {
offset = myIpad.left;
}
int textStart = offset;
if (myBorder != null) {
offset += myBorder.getBorderInsets(this).left;
}
final List<Object[]> searchMatches = new ArrayList<>();
applyAdditionalHints(g);
final Font baseFont = getBaseFont();
g.setFont(baseFont);
offset += computeTextAlignShift(baseFont);
int baseSize = baseFont.getSize();
FontMetrics baseMetrics = g.getFontMetrics();
Rectangle area = computePaintArea();
final int textBaseline = area.y + getTextBaseLine(baseMetrics, area.height);
boolean wasSmaller = false;
for (int i = 0; i < myFragments.size(); i++) {
final SimpleTextAttributes attributes = myAttributes.get(i);
Font font = g.getFont();
boolean isSmaller = attributes.isSmaller();
if (font.getStyle() != attributes.getFontStyle()
|| isSmaller != wasSmaller) { // derive font only if it is necessary
font =
font.deriveFont(
attributes.getFontStyle(),
isSmaller ? UIUtil.getFontSize(UIUtil.FontSize.SMALL) : baseSize);
}
wasSmaller = isSmaller;
g.setFont(font);
final FontMetrics metrics = g.getFontMetrics(font);
final int fragmentWidth = computeStringWidth(i, font);
final int fragmentPadding = myFragmentPadding.get(i);
final Color bgColor = attributes.isSearchMatch() ? null : attributes.getBgColor();
if ((attributes.isOpaque() || isOpaque()) && bgColor != null) {
g.setColor(bgColor);
g.fillRect(offset, 0, fragmentWidth, getHeight());
}
Color color = attributes.getFgColor();
if (color
== null) { // in case if color is not defined we have to get foreground color from Swing
// hierarchy
color = getForeground();
}
if (!isEnabled()) {
color = UIUtil.getInactiveTextColor();
}
g.setColor(color);
final int fragmentAlignment = myFragmentAlignment.get(i);
final int endOffset;
if (fragmentPadding > 0 && fragmentPadding > fragmentWidth) {
endOffset = fragmentPadding;
if (fragmentAlignment == SwingConstants.RIGHT
|| fragmentAlignment == SwingConstants.TRAILING) {
offset = fragmentPadding - fragmentWidth;
}
} else {
endOffset = offset + fragmentWidth;
}
if (!attributes.isSearchMatch()) {
if (shouldDrawMacShadow()) {
g.setColor(SHADOW_COLOR);
doDrawString(g, i, offset, textBaseline + 1);
}
if (shouldDrawDimmed()) {
color = ColorUtil.dimmer(color);
}
g.setColor(color);
doDrawString(g, i, offset, textBaseline);
}
// for some reason strokeState here may be incorrect, resetting the stroke helps
g.setStroke(g.getStroke());
// 1. Strikeout effect
if (attributes.isStrikeout() && !attributes.isSearchMatch()) {
EffectPainter.STRIKE_THROUGH.paint(
g, offset, textBaseline, fragmentWidth, getCharHeight(g), font);
}
// 2. Waved effect
if (attributes.isWaved()) {
if (attributes.getWaveColor() != null) {
g.setColor(attributes.getWaveColor());
}
EffectPainter.WAVE_UNDERSCORE.paint(
g, offset, textBaseline + 1, fragmentWidth, Math.max(2, metrics.getDescent()), font);
}
// 3. Underline
if (attributes.isUnderline()) {
EffectPainter.LINE_UNDERSCORE.paint(
g, offset, textBaseline, fragmentWidth, metrics.getDescent(), font);
}
// 4. Bold Dotted Line
if (attributes.isBoldDottedLine()) {
final int dottedAt = SystemInfo.isMac ? textBaseline : textBaseline + 1;
final Color lineColor = attributes.getWaveColor();
UIUtil.drawBoldDottedLine(
g, offset, offset + fragmentWidth, dottedAt, bgColor, lineColor, isOpaque());
}
if (attributes.isSearchMatch()) {
searchMatches.add(
new Object[] {
offset,
offset + fragmentWidth,
textBaseline,
myFragments.get(i),
g.getFont(),
attributes
});
}
offset = endOffset;
}
// Paint focus border around the text and icon (if necessary)
if (myPaintFocusBorder && myBorder != null) {
if (focusAroundIcon) {
myBorder.paintBorder(this, g, 0, 0, getWidth(), getHeight());
} else {
myBorder.paintBorder(this, g, textStart, 0, getWidth() - textStart, getHeight());
}
}
// draw search matches after all
for (final Object[] info : searchMatches) {
Integer x1 = (Integer) info[0];
Integer x2 = (Integer) info[1];
UIUtil.drawSearchMatch(g, x1, x2, getHeight());
g.setFont((Font) info[4]);
Integer baseline = (Integer) info[2];
String text = (String) info[3];
if (shouldDrawMacShadow()) {
g.setColor(SHADOW_COLOR);
g.drawString(text, x1, baseline + 1);
}
g.setColor(new JBColor(Gray._50, Gray._0));
g.drawString(text, x1, baseline);
if (((SimpleTextAttributes) info[5]).isStrikeout()) {
EffectPainter.STRIKE_THROUGH.paint(g, x1, baseline, x2 - x1, getCharHeight(g), g.getFont());
}
}
return offset;
}
private void prepareToShow() {
final MouseAdapter mouseAdapter =
new MouseAdapter() {
public void mousePressed(MouseEvent e) {
Point point = (Point) e.getPoint().clone();
SwingUtilities.convertPointToScreen(point, e.getComponent());
final Dimension dimension = myContent.getSize();
dimension.height +=
myResizable && isToDrawMacCorner() ? ourMacCorner.getHeight(myContent) : 4;
dimension.width += 4;
Point locationOnScreen = myContent.getLocationOnScreen();
final Rectangle bounds =
new Rectangle(new Point(locationOnScreen.x - 2, locationOnScreen.y - 2), dimension);
if (!bounds.contains(point)) {
cancel();
}
}
};
myContent.addMouseListener(mouseAdapter);
Disposer.register(
this,
new Disposable() {
public void dispose() {
myContent.removeMouseListener(mouseAdapter);
}
});
myContent.registerKeyboardAction(
new ActionListener() {
public void actionPerformed(ActionEvent e) {
if (myCancelKeyEnabled) {
cancel();
}
}
},
KeyStroke.getKeyStroke(KeyEvent.VK_ESCAPE, 0),
JComponent.WHEN_IN_FOCUSED_WINDOW);
mySearchKeyListener = new SpeedSearchKeyListener();
myContent.addKeyListener(mySearchKeyListener);
if (myCancelOnMouseOutCallback != null || myCancelOnWindow) {
myMouseOutCanceller = new Canceller();
Toolkit.getDefaultToolkit()
.addAWTEventListener(
myMouseOutCanceller,
AWTEvent.MOUSE_EVENT_MASK
| WindowEvent.WINDOW_ACTIVATED
| AWTEvent.MOUSE_MOTION_EVENT_MASK);
}
myFocusWatcher =
new ChildFocusWatcher(myContent) {
protected void onFocusGained(final FocusEvent event) {
setWindowActive(true);
}
protected void onFocusLost(final FocusEvent event) {
setWindowActive(false);
}
};
mySpeedSearchPatternField = new JTextField();
if (SystemInfo.isMac) {
Font f = mySpeedSearchPatternField.getFont();
mySpeedSearchPatternField.setFont(f.deriveFont(f.getStyle(), f.getSize() - 2));
}
}