private static class IconFactory.KeYControlIcon
extends javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon
Modifier and Type | Field and Description |
---|---|
private boolean |
collapsed |
private static javax.swing.Icon |
collapsedIcon |
private static javax.swing.Icon |
expandedIcon |
private static long |
serialVersionUID |
Constructor and Description |
---|
KeYControlIcon(boolean collapsed) |
Modifier and Type | Method and Description |
---|---|
static javax.swing.Icon |
getKeYCollapsedIcon() |
static javax.swing.Icon |
getKeYExpandedIcon() |
void |
paintIcon(java.awt.Component c,
java.awt.Graphics g,
int x,
int y) |
private void |
paintMe(java.awt.Component c,
java.awt.Graphics g) |
private static final long serialVersionUID
private static final javax.swing.Icon collapsedIcon
private static final javax.swing.Icon expandedIcon
private boolean collapsed
public static javax.swing.Icon getKeYCollapsedIcon()
public static javax.swing.Icon getKeYExpandedIcon()
public void paintIcon(java.awt.Component c, java.awt.Graphics g, int x, int y)
paintIcon
in interface javax.swing.Icon
paintIcon
in class javax.swing.plaf.metal.MetalIconFactory.TreeControlIcon
private void paintMe(java.awt.Component c, java.awt.Graphics g)