upButton.setText("Up"); upButton.setMargin(new Insets(0, 0, 0, 0)); Font font = upButton.getFont(); upButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2)); downButton.setText("Down"); downButton.setMargin(new Insets(0, 0, 0, 0)); Font font = downButton.getFont(); downButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2)); deleteButton.setText("X"); deleteButton.setMargin(new Insets(0, 0, 0, 0)); Font font = deleteButton.getFont(); deleteButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2));
upButton.setText("Up"); upButton.setMargin(new Insets(0, 0, 0, 0)); Font font = upButton.getFont(); upButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2)); downButton.setText("Down"); downButton.setMargin(new Insets(0, 0, 0, 0)); Font font = downButton.getFont(); downButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2)); deleteButton.setText("X"); deleteButton.setMargin(new Insets(0, 0, 0, 0)); Font font = deleteButton.getFont(); deleteButton.setFont(new Font(font.getName(), font.getStyle(), font.getSize() - 2));
optionQueue = new JButton(rb.getString("Queue")); optionConfiguration = new JButton(rb.getString("Configuration")); optionLog.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionHistory.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionQueue.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionConfiguration.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); try { Image icon;
configurationPanel.setVisible(false); if (logPanel.isVisible()) { optionLog.setFont(optionLog.getFont().deriveFont(Font.BOLD)); } else { optionLog.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionHistory.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionQueue.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionConfiguration.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); pack(); }); queuePanel.setVisible(false); configurationPanel.setVisible(false); optionLog.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); if (historyPanel.isVisible()) { optionHistory.setFont(optionLog.getFont().deriveFont(Font.BOLD)); } else { optionHistory.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionQueue.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionConfiguration.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); pack(); }); emptyPanel.setVisible(!queuePanel.isVisible()); configurationPanel.setVisible(false); optionLog.setFont(optionLog.getFont().deriveFont(Font.PLAIN)); optionHistory.setFont(optionLog.getFont().deriveFont(Font.PLAIN));
JButton b = new JButton(); b.setFont(b.getFont().deriveFont(18.0f));
public void doMouseEntered__on__$JButton3(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.applyProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton3, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton3.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton3.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton3.setFont($JButton3.getFont().deriveFont($JButton3.getFont().getStyle() | Font.BOLD)); else $JButton3.setFont($JButton3.getFont().deriveFont($JButton3.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseEntered__on__$JButton4(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.applyProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton4, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton4.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton4.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton4.setFont($JButton4.getFont().deriveFont($JButton4.getFont().getStyle() | Font.BOLD)); else $JButton4.setFont($JButton4.getFont().deriveFont($JButton4.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseEntered__on__$JButton6(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.applyProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton6, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton6.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton6.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton6.setFont($JButton6.getFont().deriveFont($JButton6.getFont().getStyle() | Font.BOLD)); else $JButton6.setFont($JButton6.getFont().deriveFont($JButton6.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseEntered__on__$JButton9(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.applyProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton9, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton9.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton9.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton9.setFont($JButton9.getFont().deriveFont($JButton9.getFont().getStyle() | Font.BOLD)); else $JButton9.setFont($JButton9.getFont().deriveFont($JButton9.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseExited__on__$JButton13(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.removeProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton13, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton13.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton13.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton13.setFont($JButton13.getFont().deriveFont($JButton13.getFont().getStyle() | Font.BOLD)); else $JButton13.setFont($JButton13.getFont().deriveFont($JButton13.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseExited__on__$JButton15(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.removeProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton15, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton15.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton15.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton15.setFont($JButton15.getFont().deriveFont($JButton15.getFont().getStyle() | Font.BOLD)); else $JButton15.setFont($JButton15.getFont().deriveFont($JButton15.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseExited__on__dot(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.removeProperty(jaxx.runtime.swing.editor.NumberEditor.this, dot, "font-weight", "normal", jaxx.runtime.css.Pseudoclasses.wrap((dot.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if (dot.getFont() != null) { if (((java.lang.String) value).equals("bold")) dot.setFont(dot.getFont().deriveFont(dot.getFont().getStyle() | Font.BOLD)); else dot.setFont(dot.getFont().deriveFont(dot.getFont().getStyle() & ~Font.BOLD)); } } }
public void doMouseEntered__on__$JButton14(java.awt.event.MouseEvent event) { java.lang.Object value = jaxx.runtime.css.Pseudoclasses.applyProperty(jaxx.runtime.swing.editor.NumberEditor.this, $JButton14, "font-weight", "bold", jaxx.runtime.css.Pseudoclasses.wrap(($JButton14.getFont().getStyle() & Font.BOLD) != 0 ? "bold" : "normal"), 0); if (!(value instanceof jaxx.runtime.css.DataBinding)) { if ($JButton14.getFont() != null) { if (((java.lang.String) value).equals("bold")) $JButton14.setFont($JButton14.getFont().deriveFont($JButton14.getFont().getStyle() | Font.BOLD)); else $JButton14.setFont($JButton14.getFont().deriveFont($JButton14.getFont().getStyle() & ~Font.BOLD)); } } }
@ScriptFunction(jsDoc = FONT_JSDOC) @Override public Font getFont() { return super.getFont(); }
/** * Looks up and returns the font used by buttons. First, tries to request the button font from * the UIManager; if this fails a JButton is created and asked for its font. * * @return the font used for a standard button */ private static Font lookupDefaultDialogFont() { Font buttonFont = UIManager.getFont("Button.font"); return buttonFont != null ? buttonFont : new JButton().getFont(); }
/** * Looks up and returns the font used by buttons. First, tries to request * the button font from the UIManager; if this fails a JButton is created * and asked for its font. * * @return the font used for a standard button */ private Font lookupDefaultDialogFont() { Font buttonFont = UIManager.getFont("Button.font"); return buttonFont != null ? buttonFont : new JButton().getFont(); }
protected void create$JButton11() { $objectMap.put("$JButton11", $JButton11 = new JButton()); $JButton11.setName("$JButton11"); $JButton11.setEnabled(false); if ($JButton11.getFont() != null) { $JButton11.setFont($JButton11.getFont().deriveFont((float) 14)); } $JButton11.setFocusable(false); $JButton11.setFocusPainted(false); $JButton11.addMouseListener(JAXXUtil.getEventListener(MouseListener.class, "mouseEntered", this, "doMouseEntered__on__$JButton11")); $JButton11.addMouseListener(JAXXUtil.getEventListener(MouseListener.class, "mouseExited", this, "doMouseExited__on__$JButton11")); }
protected void create$JButton13() { $JButton13 = new javax.swing.JButton(); $objectMap.put("$JButton13", $JButton13); $JButton13.setName("$JButton13"); $JButton13.setEnabled(false); $JButton13.setFocusable(false); $JButton13.setFocusPainted(false); if ($JButton13.getFont() != null) $JButton13.setFont($JButton13.getFont().deriveFont((float) 14)); $JButton13.addMouseListener((java.awt.event.MouseListener) jaxx.runtime.Util.getEventListener(java.awt.event.MouseListener.class, "mouseEntered", $JPanel0, "doMouseEntered__on__$JButton13")); $JButton13.addMouseListener((java.awt.event.MouseListener) jaxx.runtime.Util.getEventListener(java.awt.event.MouseListener.class, "mouseExited", $JPanel0, "doMouseExited__on__$JButton13")); }
protected void create$JButton13() { $objectMap.put("$JButton13", $JButton13 = new JButton()); $JButton13.setName("$JButton13"); if ($JButton13.getFont() != null) { $JButton13.setFont($JButton13.getFont().deriveFont((float) 14)); } $JButton13.setFocusable(false); $JButton13.setFocusPainted(false); $JButton13.addActionListener(JAXXUtil.getEventListener(ActionListener.class, "actionPerformed", this, "doActionPerformed__on__$JButton13")); $JButton13.addMouseListener(JAXXUtil.getEventListener(MouseListener.class, "mouseEntered", this, "doMouseEntered__on__$JButton13")); $JButton13.addMouseListener(JAXXUtil.getEventListener(MouseListener.class, "mouseExited", this, "doMouseExited__on__$JButton13")); }
protected void createResetButton() { resetButton = new javax.swing.JButton(); $objectMap.put("resetButton", resetButton); resetButton.setName("resetButton"); resetButton.setFocusPainted(false); resetButton.setFocusable(false); resetButton.setToolTipText(_("numbereditor.action.reset.tip")); if (resetButton.getFont() != null) resetButton.setFont(resetButton.getFont().deriveFont((float) 14)); resetButton.addActionListener((java.awt.event.ActionListener) jaxx.runtime.Util.getEventListener(java.awt.event.ActionListener.class, "actionPerformed", $JPanel0, "doActionPerformed__on__resetButton")); resetButton.addMouseListener((java.awt.event.MouseListener) jaxx.runtime.Util.getEventListener(java.awt.event.MouseListener.class, "mouseEntered", $JPanel0, "doMouseEntered__on__resetButton")); resetButton.addMouseListener((java.awt.event.MouseListener) jaxx.runtime.Util.getEventListener(java.awt.event.MouseListener.class, "mouseExited", $JPanel0, "doMouseExited__on__resetButton")); }