public void setSelectedFont(Font font) {
selectedFont = font;
family = font.getFamily();
style = font.getStyle();
size = font.getSize();
preview.setFont(font);
}
private JComponent createLogo() {
NonOpaquePanel panel = new NonOpaquePanel(new BorderLayout());
ApplicationInfoEx app = ApplicationInfoEx.getInstanceEx();
JLabel logo = new JLabel(IconLoader.getIcon(app.getWelcomeScreenLogoUrl()));
logo.setBorder(JBUI.Borders.empty(30, 0, 10, 0));
logo.setHorizontalAlignment(SwingConstants.CENTER);
panel.add(logo, BorderLayout.NORTH);
JLabel appName = new JLabel(ApplicationNamesInfo.getInstance().getFullProductName());
Font font = getProductFont();
appName.setForeground(JBColor.foreground());
appName.setFont(font.deriveFont(JBUI.scale(36f)).deriveFont(Font.PLAIN));
appName.setHorizontalAlignment(SwingConstants.CENTER);
String appVersion = "Version " + app.getFullVersion();
if (app.isEAP() && app.getBuild().getBuildNumber() < Integer.MAX_VALUE) {
appVersion += " (" + app.getBuild().asString() + ")";
}
JLabel version = new JLabel(appVersion);
version.setFont(getProductFont().deriveFont(JBUI.scale(16f)));
version.setHorizontalAlignment(SwingConstants.CENTER);
version.setForeground(Gray._128);
panel.add(appName);
panel.add(version, BorderLayout.SOUTH);
panel.setBorder(JBUI.Borders.emptyBottom(20));
return panel;
}
protected void initFont() {
myNormalFont = createFont();
myBoldFont = myNormalFont.deriveFont(Font.BOLD);
myItalicFont = myNormalFont.deriveFont(Font.ITALIC);
myBoldItalicFont = myBoldFont.deriveFont(Font.ITALIC);
establishFontMetrics();
}
/**
* Create the name label if needed.
*
* @return The component that holds the name label.
*/
protected JComponent getLabelComponent() {
if (nameLabel == null) {
nameLabel = new JLabel();
Font font = nameLabel.getFont();
nameLabel.setFont(font.deriveFont(Font.ITALIC | Font.BOLD));
labelComponent = GuiUtils.hflow(Misc.newList(new JLabel("Layout Model: "), nameLabel));
}
return labelComponent;
}
/** @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();
}
// {{{ 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;
} // }}}
public Container CreateContentPane() {
// Create the content-pane-to-be.
JPanel contentPane = new JPanel(new BorderLayout());
contentPane.setOpaque(true);
// the log panel
log = new JTextPane();
log.setEditable(false);
log.setBackground(Color.BLACK);
logPane = new JScrollPane(log);
kit = new HTMLEditorKit();
doc = new HTMLDocument();
log.setEditorKit(kit);
log.setDocument(doc);
DefaultCaret c = (DefaultCaret) log.getCaret();
c.setUpdatePolicy(DefaultCaret.ALWAYS_UPDATE);
ClearLog();
// the preview panel
previewPane = new DrawPanel();
previewPane.setPaperSize(paper_top, paper_bottom, paper_left, paper_right);
// status bar
statusBar = new StatusBar();
Font f = statusBar.getFont();
statusBar.setFont(f.deriveFont(Font.BOLD, 15));
Dimension d = statusBar.getMinimumSize();
d.setSize(d.getWidth(), d.getHeight() + 30);
statusBar.setMinimumSize(d);
// layout
Splitter split = new Splitter(JSplitPane.VERTICAL_SPLIT);
split.add(previewPane);
split.add(logPane);
split.setDividerSize(8);
contentPane.add(statusBar, BorderLayout.SOUTH);
contentPane.add(split, BorderLayout.CENTER);
// open the file
if (recentFiles[0].length() > 0) {
OpenFileOnDemand(recentFiles[0]);
}
// connect to the last port
ListSerialPorts();
if (Arrays.asList(portsDetected).contains(recentPort)) {
OpenPort(recentPort);
}
return contentPane;
}
/**
* Create, if needed, and return the component label
*
* @return component label
*/
protected JLabel doMakeDisplayLabel() {
if (displayLabel == null) {
displayLabel = GuiUtils.cLabel(getName());
Font f = displayLabel.getFont();
f = f.deriveFont(18.0f);
displayLabel.setFont(f);
if (!labelShown) {
displayLabel.setVisible(false);
}
}
return displayLabel;
}
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);
}
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);
}
}
}
public TabbedEditor(org.colos.ejs.osejs.Osejs _ejs, String _type, String _header) {
ejs = _ejs;
defaultType = _type;
defaultHeader = _header;
defaultString = new String(res.getString(defaultHeader + ".Page"));
MyActionListener al = new MyActionListener();
popupMenu = new PopupMenu();
customMenuItems(al); // Creates the top menu items
// common menu items
copyPage = createMenuItem("copyPage", defaultHeader, al);
upPage = createMenuItem("upPage", defaultHeader, al);
dnPage = createMenuItem("dnPage", defaultHeader, al);
renamePage = createMenuItem("renamePage", defaultHeader, al);
popupMenu.addSeparator();
togglePage = createMenuItem("togglePage", defaultHeader, al);
removePage = createMenuItem("removePage", defaultHeader, al);
JPanel firstPanel = createFirstPanel();
tabbedPanel = new JTabbedPane();
tabbedPanel.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
tabbedPanel.add(popupMenu);
// tabbedPanel.setPreferredSize (res.getDimension("TabbedEditor.PreferredSize"));
tabbedPanel.addMouseListener(
new java.awt.event.MouseAdapter() {
public void mousePressed(java.awt.event.MouseEvent evt) {
if (OSPRuntime.isPopupTrigger(evt)) // SwingUtilities.isRightMouseButton(evt))
showMenu(evt.getComponent(), evt.getX(), evt.getY());
}
});
cardLayout = new CardLayout();
finalPanel = new JPanel(cardLayout);
finalPanel.add(tabbedPanel, "TabbedPanel");
finalPanel.add(firstPanel, "FirstPanel");
setFont(finalPanel.getFont());
Font font = InterfaceUtils.font(null, res.getString("Editor.TitleFont"));
addPageMI.setFont(font);
copyPage.setFont(font);
upPage.setFont(font);
dnPage.setFont(font);
togglePage.setFont(font);
removePage.setFont(font);
renamePage.setFont(font);
myFont = font.deriveFont(Font.PLAIN);
showFirstPage();
}
public void paintComponent(Graphics g) {
Graphics2D g2 = (Graphics2D) g;
g2.setColor(Color.black);
g2.fillRect(0, 0, 10, 70);
g2.fillRect(60, 0, 10, 70);
g2.fillRect(120, 0, 10, 70);
g2.fillRect(0, 0, 130, 10);
g2.fillRect(0, 60, 130, 10);
g2.fillRect(70, 30, 50, 10);
g2.fillRect(90, 10, 10, 50);
fill(g2, fullRect, RoadDirection.CENTER);
fill(g2, nw, RoadDirection.NW);
fill(g2, ne, RoadDirection.NE);
fill(g2, sw, RoadDirection.SW);
fill(g2, se, RoadDirection.SE);
g2.setFont(Font.decode("Arial-10"));
g2.setColor(Color.black);
SwingUtils.drawCenteredString(g, "CENTER", (int) fullRectStrPos.x, (int) fullRectStrPos.y);
SwingUtils.drawCenteredString(g, "NW", (int) nwStrPos.x, (int) nwStrPos.y);
SwingUtils.drawCenteredString(g, "NE", (int) neStrPos.x, (int) neStrPos.y);
SwingUtils.drawCenteredString(g, "SW", (int) swStrPos.x, (int) swStrPos.y);
SwingUtils.drawCenteredString(g, "SE", (int) seStrPos.x, (int) seStrPos.y);
}
void drawRoiLabel(Graphics g, int index, Roi roi) {
Rectangle r = roi.getBounds();
int x = screenX(r.x);
int y = screenY(r.y);
double mag = getMagnification();
int width = (int) (r.width * mag);
int height = (int) (r.height * mag);
int size = width > 40 && height > 40 ? 12 : 9;
if (font != null) {
g.setFont(font);
size = font.getSize();
} else if (size == 12) g.setFont(largeFont);
else g.setFont(smallFont);
boolean drawingList = index >= LIST_OFFSET;
if (drawingList) index -= LIST_OFFSET;
String label = "" + (index + 1);
if (drawNames && roi.getName() != null) label = roi.getName();
FontMetrics metrics = g.getFontMetrics();
int w = metrics.stringWidth(label);
x = x + width / 2 - w / 2;
y = y + height / 2 + Math.max(size / 2, 6);
int h = metrics.getAscent() + metrics.getDescent();
if (bgColor != null) {
g.setColor(bgColor);
g.fillRoundRect(x - 1, y - h + 2, w + 1, h - 3, 5, 5);
}
if (!drawingList && labelRects != null && index < labelRects.length)
labelRects[index] = new Rectangle(x - 1, y - h + 2, w + 1, h);
g.setColor(labelColor);
g.drawString(label, x, y - 2);
g.setColor(defaultColor);
}
@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()));
}
/**
* If the font is set to null, then the font used to display today's date as text will default to
* the L&F's Label default font.
*
* <p>Otherwise, the font used to display today's date is set as given.
*
* @param font The font to set.
*/
public void setTodayFont(Font font) {
if (font == null && todayFont != null || !font.equals(todayFont)) {
todayFont = font;
if (isDisplayable()) setupTodayFont();
}
}
/**
* If the font is set to null, then the title font (for the Month Year title) will default to the
* L&F's Label default font.
*
* <p>Otherwise, the title font is set as given.
*
* @param font The font to set.
*/
public void setTitleFont(Font font) {
if (font == null && titleFont != null || !font.equals(titleFont)) {
titleFont = font;
if (isDisplayable()) setupTitleFont();
}
}
/**
* If the font is set to null, then the day font will default to 9/11th's of the L&F's Button
* default font.
*
* <p>Otherwise, the day font is set as given.
*
* @param font The font to set.
*/
public void setDayFont(Font font) {
if (font == null && dayFont != null || !font.equals(dayFont)) {
dayFont = font;
if (isDisplayable()) setupDayFonts();
}
}
public void paintComponent(Graphics g) {
// необходиом чтобы текст коректно отрисовывался в окне
super.paintComponent(g);
// рисуем текст в окне
Graphics2D g2 = (Graphics2D) g;
AffineTransform t = g2.getTransform();
g.drawString("It is text", 5, 5);
// создание шрифта
Font f = new Font("SanasSerif", Font.ITALIC, 20);
g2.setFont(f);
g2.drawString("It is new text", 5, 33);
String[] fontNames =
GraphicsEnvironment.getLocalGraphicsEnvironment().getAvailableFontFamilyNames();
for (int i = 5; i < 20; i++) {
g2.rotate(-0.05);
g2.setColor(
new Color(
(int) (Math.random() * 255),
(int) (Math.random() * 255),
(int) (Math.random() * 255)));
Font f1 = new Font(fontNames[i], Font.BOLD, 20);
g2.setFont(f1);
g2.drawString(fontNames[i], 5, 20 * i);
}
// текст в центре
g2.setTransform(t); // возращение к кординатам, которые запонилив начале
Font f2 = new Font("SanasSerif", Font.ITALIC, 20);
g2.setFont(f2);
String s = "It is center!";
FontRenderContext context = g2.getFontRenderContext();
Rectangle2D r = f2.getStringBounds(s, context);
double x1 = (getWidth() - r.getWidth()) / 2;
double y1 = (getHeight() - r.getHeight()) / 2;
double ascent = -r.getY(); // узнаем высоту текста
double y2 = y1 + ascent;
Rectangle2D rect = new Rectangle2D.Double(x1, y1, r.getWidth(), r.getHeight());
g2.setColor(Color.YELLOW);
g2.fill(rect);
g2.setColor(Color.red);
g2.drawString(s, (int) x1, (int) y2);
g2.setColor(Color.blue);
g2.draw(new Line2D.Double(x1, y2, x1 + r.getWidth(), y2));
g2.draw(rect);
}
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;
}
/** Set the day-of-week labels' font. */
protected void setupDayOfWeekFonts() {
Font font;
if (dayOfWeekLabels == null) return;
// If not null, use what the user gave us
font = dayOfWeekFont;
// Otherwise, use 9/11 of the L&F default for a label
if (font == null) {
font = UIManager.getFont("Label.font");
font = font.deriveFont((float) (font.getSize2D() * 9.0 / 11.0));
}
// Set the day of week labels' font
for (int day = 0; day < 7; day++) {
dayOfWeekLabels[day].setFont(font);
}
}
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 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);
}
}
/**
* This deals with a bug/peculiarity for the default Mac font: several pixels of the ascent are
* actually empty. This screws up certain measurements which assume the font is actually a few
* pixels taller than it really is.
*/
private static int getUnusedAscent(FontMetrics fm, Font font) {
Integer value = ascentTable.get(font);
if (value == null) {
int recordedAscent = fm.getAscent();
FontRenderContext frc = new FontRenderContext(new AffineTransform(), false, false);
GlyphVector gv = font.createGlyphVector(frc, "XYZ");
Rectangle2D bounds = ShapeBounds.getBounds(gv.getOutline());
int observedAscent = (int) (Math.ceil(bounds.getHeight()) + .5);
value = new Integer(recordedAscent - observedAscent);
ascentTable.put(font, value);
}
return value.intValue();
}
/** Set the day labels' font. */
protected void setupDayFonts() {
Font font;
if (dayButtons == null) return;
// If null, use what the user gave us
font = dayFont;
// Otherwise, use 9/11 of the L&F default for a button
if (font == null) {
font = UIManager.getFont("Button.font");
font = font.deriveFont((float) (font.getSize2D() * 9.0 / 11.0));
}
// Set the day labels' font
for (int row = 0; row < 6; row++) {
for (int day = 0; day < 7; day++) {
dayButtons[row][day].setFont(font);
}
}
}
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 Font getProductFont() {
String name = "/fonts/Roboto-Light.ttf";
URL url = AppUIUtil.class.getResource(name);
if (url == null) {
Logger.getInstance(AppUIUtil.class).warn("Resource missing: " + name);
} else {
try {
InputStream is = url.openStream();
try {
return Font.createFont(Font.TRUETYPE_FONT, is);
} finally {
is.close();
}
} catch (Throwable t) {
Logger.getInstance(AppUIUtil.class).warn("Cannot load font: " + url, t);
}
}
return UIUtil.getLabelFont();
}
private void establishFontMetrics() {
final BufferedImage img = createBufferedImage(1, 1);
final Graphics2D graphics = img.createGraphics();
graphics.setFont(myNormalFont);
final float lineSpace = mySettingsProvider.getLineSpace();
final FontMetrics fo = graphics.getFontMetrics();
myDescent = fo.getDescent();
myCharSize.width = fo.charWidth('W');
myCharSize.height = fo.getHeight() + (int) (lineSpace * 2);
myDescent += lineSpace;
myMonospaced = isMonospaced(fo);
if (!myMonospaced) {
LOG.info("WARNING: Font " + myNormalFont.getName() + " is non-monospaced");
}
img.flush();
graphics.dispose();
}
protected BufferedImage makeImage() {
BufferedImage image =
new BufferedImage(IMAGE_SIZE, IMAGE_SIZE, BufferedImage.TYPE_4BYTE_ABGR);
Graphics2D g = image.createGraphics();
g.setPaint(Color.WHITE);
g.fill3DRect(0, 0, IMAGE_SIZE, IMAGE_SIZE, false);
g.setPaint(Color.RED);
g.setFont(Font.decode("ARIAL-BOLD-50"));
g.drawString(Long.toString(++this.counter) + " frames", 10, IMAGE_SIZE / 4);
g.drawString(
Long.toString((System.currentTimeMillis() - start) / 1000) + " sec", 10, IMAGE_SIZE / 2);
g.drawString(
"Heap:" + Long.toString(Runtime.getRuntime().totalMemory()), 10, 3 * IMAGE_SIZE / 4);
g.dispose();
return image;
}