|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
com.jgraph.pad.factory.JGraphpadStatusBar
Status bar to display general information about the focused graph.
| Nested Class Summary | |
static class |
JGraphpadStatusBar.FactoryMethod
Provides a factory method to construct a status bar for an editor. |
| Nested classes inherited from class javax.swing.JPanel |
JPanel.AccessibleJPanel |
| Nested classes inherited from class javax.swing.JComponent |
JComponent.AccessibleJComponent |
| Nested classes inherited from class java.awt.Container |
Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
Component.AccessibleAWTComponent, Component.BltBufferStrategy, Component.FlipBufferStrategy |
| Field Summary | |
protected JLabel |
editableLabel
Holds the labels contained in the status bar. |
protected JLabel |
infoLabel
Holds the labels contained in the status bar. |
protected JLabel |
modifiedLabel
Holds the labels contained in the status bar. |
protected JLabel |
mouseLabel
Holds the labels contained in the status bar. |
static NumberFormat |
numberFormat
Holds the shared number formatter. |
protected JLabel |
spareLabel
Holds the labels contained in the status bar. |
protected JLabel |
zoomLabel
Holds the labels contained in the status bar. |
| Fields inherited from class javax.swing.JComponent |
accessibleContext, listenerList, TOOL_TIP_TEXT_KEY, ui, UNDEFINED_CONDITION, WHEN_ANCESTOR_OF_FOCUSED_COMPONENT, WHEN_FOCUSED, WHEN_IN_FOCUSED_WINDOW |
| Fields inherited from class java.awt.Component |
BOTTOM_ALIGNMENT, CENTER_ALIGNMENT, LEFT_ALIGNMENT, RIGHT_ALIGNMENT, TOP_ALIGNMENT |
| Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
| Constructor Summary | |
JGraphpadStatusBar(JGraphEditor editor)
Constructs a new repository panel for the specified editor. |
|
| Method Summary | |
static String |
getString(String key)
Shortcut method to JGraphEditorResources.getString(String). |
protected void |
updateLabels()
Invoked by the various listeners to update the labels. |
| Methods inherited from class javax.swing.JPanel |
getAccessibleContext, getUI, getUIClassID, paramString, setUI, updateUI |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
public static final NumberFormat numberFormat
NumberFormat.getInstance()protected JLabel infoLabel
protected JLabel modifiedLabel
protected JLabel editableLabel
protected JLabel zoomLabel
protected JLabel mouseLabel
protected JLabel spareLabel
| Constructor Detail |
public JGraphpadStatusBar(JGraphEditor editor)
| Method Detail |
public static String getString(String key)
JGraphEditorResources.getString(String).
key - The key to return the resource string for.protected void updateLabels()
|
JGraphpad Pro
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||