// {{{ parseHighlightStyle()
SyntaxStyle parseHighlightStyle(String style) {
Font f = (resultTree != null) ? resultTree.getFont() : UIManager.getFont("Tree.font");
SyntaxStyle s;
try {
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true, null);
} catch (Exception e) {
style = "color:#000000";
s = SyntaxUtilities.parseStyle(style, f.getFamily(), f.getSize(), true);
}
return s;
} // }}}
/**
* Used to create the top panel describing the current feedback question
*
* @param fb Feedback question to describe
* @return Panel with title and description
*/
public JPanel createQuestionDataPanel(AbstractFeedbackType fb) {
JPanel questionPanel = new JPanel();
questionPanel.setLayout(new GridBagLayout());
questionPanel.setBorder(BorderFactory.createLineBorder(Color.LIGHT_GRAY));
GridBagConstraints leftBoxConst = new GridBagConstraints();
leftBoxConst.anchor = GridBagConstraints.LINE_START;
leftBoxConst.gridx = 0;
leftBoxConst.gridy = 0;
leftBoxConst.gridheight = 2;
JLabel titleLabel = new JLabel(fb.getTitle());
GridBagConstraints titleLabelConst = new GridBagConstraints();
titleLabelConst.anchor = GridBagConstraints.CENTER;
titleLabelConst.gridx = 1;
titleLabelConst.gridy = 0;
titleLabelConst.weightx = 1.0;
Font titleLabelFont = titleLabel.getFont();
titleLabel.setFont(
new Font(
titleLabelFont.getName(),
Font.BOLD,
titleLabelFont.getSize() + 4)); // increase label font size by 2
JLabel descLabel = new JLabel(fb.getDescription());
GridBagConstraints descLabelConst = new GridBagConstraints();
descLabelConst.anchor = GridBagConstraints.CENTER;
descLabelConst.gridx = 1;
descLabelConst.gridy = 1;
descLabelConst.weightx = 1.0;
JLabel exclLabel = new JLabel("!");
exclLabel.setAlignmentX(RIGHT_ALIGNMENT);
exclLabel.setToolTipText("Response is mandatory");
try {
exclLabel.setFont(loadGlyphFont(titleLabelFont.getSize() + 4));
exclLabel.setText("\ue101");
} catch (FontFormatException | IOException e) {
e.printStackTrace();
}
GridBagConstraints rightBoxConst = new GridBagConstraints();
rightBoxConst.anchor = GridBagConstraints.LINE_END;
rightBoxConst.gridx = 2;
rightBoxConst.gridy = 0;
rightBoxConst.gridheight = 2;
rightBoxConst.ipadx = 4;
questionPanel.add(new JPanel(), leftBoxConst);
questionPanel.add(titleLabel, titleLabelConst);
questionPanel.add(descLabel, descLabelConst);
questionPanel.add(fb.isMandatory() ? exclLabel : new JPanel(), rightBoxConst);
return questionPanel;
}
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;
}
@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);
}
}
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));
}
}
public void setSelectedFont(Font font) {
selectedFont = font;
family = font.getFamily();
style = font.getStyle();
size = font.getSize();
preview.setFont(font);
}
public static void makeEmphasized(Component widget) {
// Set to bold amd add color
Font font = widget.getFont();
if (!UserPreferences.readLocalePref()
.equals("ko")) // HACK!!! refector with variable localeSupportsBold
widget.setFont(new Font(font.getFamily(), Font.BOLD, font.getSize()));
widget.setForeground(UIProperties.emphasisColor);
}
public Browser(String currentHref) {
super();
this.currentHref = currentHref;
try {
if (Bither.getMainFrame() != null) {
Bither.getMainFrame().setCursor(Cursor.getPredefinedCursor(Cursor.WAIT_CURSOR));
}
addHyperlinkListener(new ActivatedHyperlinkListener(Bither.getMainFrame(), this));
loadingMessage = LocaliserUtils.getString("browser.loadingMessage");
setEditable(false);
setBackground(Themes.currentTheme.detailPanelBackground());
String fontName = null;
if (fontName == null || "".equals(fontName)) {
fontName = ColorAndFontConstants.BITHER_DEFAULT_FONT_NAME;
}
// Add in san-serif as a fallback.
fontName = fontName + ", san-serif";
int fontSize = ColorAndFontConstants.BITHER_DEFAULT_FONT_SIZE;
boolean isItalic = false;
boolean isBold = false;
Font adjustedFont = FontSizer.INSTANCE.getAdjustedDefaultFont();
if (adjustedFont != null) {
setFont(adjustedFont);
fontSize = adjustedFont.getSize();
isItalic = adjustedFont.isItalic();
isBold = adjustedFont.isBold();
}
String fontCSS = "font-size:" + fontSize + "pt; font-family:" + fontName + ";";
if (isItalic) {
fontCSS = fontCSS + "font-style:italic;";
} else {
fontCSS = fontCSS + "font-style:normal;";
}
if (isBold) {
fontCSS = fontCSS + "font-weight:bold;";
} else {
fontCSS = fontCSS + "font-weight:normal;";
}
HTMLEditorKit kit = new HTMLEditorKit();
setEditorKit(kit);
javax.swing.text.html.StyleSheet styleSheet = kit.getStyleSheet();
styleSheet.addRule("body {" + fontCSS + "}");
Document doc = kit.createDefaultDocument();
setDocument(doc);
log.debug("Trying to load '" + currentHref + "'...");
} catch (Exception ex) {
showUnableToLoadMessage(ex.getClass().getCanonicalName() + " " + ex.getMessage());
}
}
/** @param args command line params */
public static void main(String[] args) {
try {
UIManager.setLookAndFeel(UIManager.getSystemLookAndFeelClassName());
f = UIManager.getDefaults().getFont("TabbedPane.font");
f = new Font(f.getFamily(), Font.BOLD, f.getSize());
} catch (Exception x) {
}
new TestProgram().start();
}
/**
* Creates a new <code>ThemeEditorPanel</code>.
*
* @param parent dialog in which the panel is stored.
* @param title title of the panel.
* @param themeData data that is being edited.
*/
public ThemeEditorPanel(PreferencesDialog parent, String title, ThemeData themeData) {
super(parent, title);
this.themeData = themeData;
// Initialises the caption label font.
captionLabelFont = new JLabel().getFont();
captionLabelFont = captionLabelFont.deriveFont(Font.BOLD, captionLabelFont.getSize() - 1.5f);
}
public void changeFont() {
font = DisplayOptions.getFont(fontName, fontStyle, fontSize);
setFont(font);
fontH = font.getSize();
rHeight = fontH;
if (!inEditMode) {
if ((curDim.height > 0) && (rHeight > curDim.height)) {
adjustFont(curDim.width, curDim.height);
}
}
repaint();
}
@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();
}
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 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
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 size style of a specified component.
*
* @return REGULAR, SMALL or MINI.
*/
private int getSizeStyle(Component c) {
// Aqua components have a different style depending on the
// font size used.
// 13 Point = Regular
// 11 Point = Small
// 9 Point = Mini
if (c == null) {
return REGULAR;
}
Font font = c.getFont();
if (font == null) {
return REGULAR;
}
int fontSize = font.getSize();
return (fontSize >= 13) ? REGULAR : ((fontSize > 9) ? SMALL : MINI);
}
private static Pair<String, Integer> getSystemFontFaceAndSize() {
final Pair<String, Integer> fontData = UIUtil.getSystemFontData();
if (fontData != null) {
return fontData;
}
if (SystemInfo.isWindows) {
//noinspection HardCodedStringLiteral
final Font font =
(Font) Toolkit.getDefaultToolkit().getDesktopProperty("win.messagebox.font");
if (font != null) {
return Pair.create(font.getName(), font.getSize());
}
}
return Pair.create("Dialog", 12);
}
/**
* Initializes colors.
*
* @param prop gui properties
*/
public static void init(final GUIProp prop) {
final int r = prop.num(GUIProp.COLORRED);
final int g = prop.num(GUIProp.COLORGREEN);
final int b = prop.num(GUIProp.COLORBLUE);
// calculate color c:
// c = (255 - expectedColor) * 10 / factor (= GUIRED/BLUE/GREEN)
color1 = new Color(col(r, 24), col(g, 25), col(b, 40));
color2 = new Color(col(r, 32), col(g, 32), col(b, 44));
color3 = new Color(col(r, 48), col(g, 50), col(b, 40));
color4 = new Color(col(r, 140), col(g, 100), col(b, 70));
color1A = new Color(col(r, 110), col(g, 150), col(b, 160), 100);
colormark1A = new Color(col(r, 32), col(g, 160), col(b, 320), 100);
colormark2A = new Color(col(r, 16), col(g, 80), col(b, 160), 100);
colormark1 = new Color(col(r, 16), col(g, 120), col(b, 240));
colormark2 = new Color(col(r, 16), col(g, 80), col(b, 160));
colormark3 = new Color(col(r, 32), col(g, 160), col(b, 320));
colormark4 = new Color(col(r, 1), col(g, 40), col(b, 80));
// create color array
for (int l = 1; l < COLORS.length + 1; ++l) {
COLORS[l - 1] =
new Color(Math.max(255 - l * r, 0), Math.max(255 - l * g, 0), Math.max(255 - l * b, 0));
}
final Color c = COLORS[16];
color2A = new Color(c.getRed(), c.getGreen(), c.getBlue(), 40);
color3A = new Color(c.getRed(), c.getGreen(), c.getBlue(), 100);
final String f = prop.get(GUIProp.FONT);
final int type = prop.num(GUIProp.FONTTYPE);
fontSize = prop.num(GUIProp.FONTSIZE);
font = new Font(f, type, fontSize);
mfont = new Font(prop.get(GUIProp.MONOFONT), type, fontSize);
bfont = new Font(f, Font.BOLD, fontSize);
lfont = new Font(f, type, 18 + (fontSize >> 1));
dmfont = new Font(prop.get(GUIProp.MONOFONT), 0, TFONT.getSize() - 1);
final Container comp = new Container();
dwidth = comp.getFontMetrics(dmfont).getWidths();
fwidth = comp.getFontMetrics(font).getWidths();
lwidth = comp.getFontMetrics(lfont).getWidths();
mfwidth = comp.getFontMetrics(mfont).getWidths();
bwidth = comp.getFontMetrics(bfont).getWidths();
}
/**
* 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;
}
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 void updateFontColor() {
Font mainFont = DrJava.getConfig().getSetting(OptionConstants.FONT_MAIN);
Color backColor = DrJava.getConfig().getSetting(OptionConstants.DEFINITIONS_BACKGROUND_COLOR);
Color fontColor = DrJava.getConfig().getSetting(OptionConstants.DEFINITIONS_NORMAL_COLOR);
/* make it bigger */
Font titleFont = mainFont.deriveFont((float) (mainFont.getSize() + 3));
_antiAliasText = DrJava.getConfig().getSetting(OptionConstants.TEXT_ANTIALIAS).booleanValue();
_label.setForeground(fontColor);
_panel.setBackground(backColor);
_label.setFont(titleFont);
_textpane.setForeground(fontColor);
_textpane.setFont(mainFont);
;
_textpane.setBackground(backColor);
_scroller.setBackground(backColor);
_scroller.setBorder(new EmptyBorder(0, 0, 0, 0));
_panel.setBorder(new LineBorder(fontColor, 1));
}
@Override
public void scaleView() {
// Slot sizes
skillBoxSize = (int) (((double) getScreenWidth() / 15));
imgSize = (int) ((double) skillBoxSize * .40);
levelUpBoxSize = (int) ((double) skillBoxSize * .60);
plusIconSize = (int) ((double) skillBoxSize * .45);
// Rect size
skillRectWidth = skillCount * skillBoxSize;
skillRectHeight = skillBoxSize;
// Coordinates for skill box
skillBoxStartX = (getScreenWidth() - skillRectWidth) / 2;
skillBoxStartY = getScreenHeight() - skillRectHeight - 25;
// Coordinates for level up boxes
levelUpBoxLeftX = skillBoxStartX + (skillBoxSize - levelUpBoxSize) / 2;
int skillBoxRight = skillBoxStartX + skillBoxSize;
levelUpBoxLeftXDistanceGap =
skillBoxRight + (skillBoxSize - levelUpBoxSize) / 2 - levelUpBoxLeftX;
levelUpBoxRightX =
levelUpBoxLeftX + ((skillCount - 1) * levelUpBoxLeftXDistanceGap) + levelUpBoxSize;
levelUpBoxBottomY = skillBoxStartY;
levelUpBoxTopY = levelUpBoxBottomY - levelUpBoxSize;
// Font
keyBindFontSize = getScreenWidth() / 100;
skillLabelFontSize = keyBindFontSize;
CDFontSize = getScreenWidth() / 50;
skillLabelFont = new Font("Courier New", Font.PLAIN, skillLabelFontSize);
// Setup keybind font
keyBindFont = new Font("Courier New", Font.BOLD, keyBindFontSize);
Map<TextAttribute, Object> attributes = new HashMap<>();
attributes.put(TextAttribute.FAMILY, keyBindFont.getFamily());
attributes.put(TextAttribute.WEIGHT, TextAttribute.WEIGHT_EXTRABOLD);
attributes.put(TextAttribute.SIZE, (int) (keyBindFont.getSize() * 1.5));
keyBindFont = Font.getFont(attributes);
CDFont = new Font("Courier New", Font.PLAIN, CDFontSize);
}
/**
* Update the font in the default style of the document.
*
* @param font the new font to use or null to remove the font attribute from the document's style
*/
private void updateFont(Font font) {
StyledDocument doc = (StyledDocument) getComponent().getDocument();
Style style = doc.getStyle(StyleContext.DEFAULT_STYLE);
if (style == null) {
return;
}
if (font == null) {
style.removeAttribute(StyleConstants.FontFamily);
style.removeAttribute(StyleConstants.FontSize);
style.removeAttribute(StyleConstants.Bold);
style.removeAttribute(StyleConstants.Italic);
} else {
StyleConstants.setFontFamily(style, font.getName());
StyleConstants.setFontSize(style, font.getSize());
StyleConstants.setBold(style, font.isBold());
StyleConstants.setItalic(style, font.isItalic());
}
}
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 void setEditMode(boolean s) {
if (s) {
addMouseListener(ml);
setOpaque(s);
if (font != null) {
setFont(font);
fontH = font.getSize();
rHeight = fontH;
}
defDim = getPreferredSize();
curLoc.x = defLoc.x;
curLoc.y = defLoc.y;
curDim.width = defDim.width;
curDim.height = defDim.height;
xRatio = 1.0;
yRatio = 1.0;
} else {
removeMouseListener(ml);
if ((bg != null) || (isActive < 1)) setOpaque(true);
else setOpaque(false);
}
inEditMode = s;
}
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 void doPaint(Graphics g) {
GraphicsUtil.setupAntialiasing(g);
final boolean isEmpty = getIcon() == null && StringUtil.isEmpty(getText());
final Dimension size = getSize();
if (isSmallVariant()) {
final Graphics2D g2 = (Graphics2D) g;
g2.setColor(UIUtil.getControlColor());
final int w = getWidth();
final int h = getHeight();
if (getModel().isArmed() && getModel().isPressed()) {
g2.setPaint(
new GradientPaint(
0,
0,
UIUtil.getControlColor(),
0,
h,
ColorUtil.shift(UIUtil.getControlColor(), 0.8)));
} else {
g2.setPaint(
new GradientPaint(
0,
0,
ColorUtil.shift(UIUtil.getControlColor(), 1.1),
0,
h,
ColorUtil.shift(UIUtil.getControlColor(), 0.9)));
}
g2.fillRect(2, 0, w - 2, h);
GraphicsUtil.setupAntialiasing(g2);
if (!myMouseInside) {
g2.setPaint(
new GradientPaint(
0, 0, UIUtil.getBorderColor(), 0, h, UIUtil.getBorderColor().darker()));
// g2.setColor(UIUtil.getBorderColor());
} else {
g2.setPaint(
new GradientPaint(
0,
0,
UIUtil.getBorderColor().darker(),
0,
h,
UIUtil.getBorderColor().darker().darker()));
}
g2.drawRect(2, 0, w - 3, h - 1);
final Icon icon = getIcon();
int x = 7;
if (icon != null) {
icon.paintIcon(null, g, x, (size.height - icon.getIconHeight()) / 2);
x += icon.getIconWidth() + 3;
}
if (!StringUtil.isEmpty(getText())) {
final Font font = getFont();
g2.setFont(font);
g2.setColor(UIManager.getColor("Panel.foreground"));
g2.drawString(getText(), x, (size.height + font.getSize()) / 2 - 1);
}
} else {
super.paintComponent(g);
}
final Insets insets = super.getInsets();
final Icon icon = isEnabled() ? ARROW_ICON : DISABLED_ARROW_ICON;
final int x;
if (isEmpty) {
x = (size.width - icon.getIconWidth()) / 2;
} else {
if (isSmallVariant()) {
x = size.width - icon.getIconWidth() - insets.right + 1;
} else {
x =
size.width
- icon.getIconWidth()
- insets.right
+ (UIUtil.isUnderNimbusLookAndFeel() ? -3 : 2);
}
}
if (UIUtil.isUnderDarcula()) {
g.setXORMode(new Color(208, 188, 159));
}
icon.paintIcon(null, g, x, (size.height - icon.getIconHeight()) / 2);
g.setPaintMode();
}
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);
}
ParentDirectoryRenderer() {
plainFont = UIManager.getFont("Tree.font");
if (plainFont == null) plainFont = jEdit.getFontProperty("metal.secondary.font");
boldFont = new Font(plainFont.getName(), Font.BOLD, plainFont.getSize());
}
