|
|||||||||
| Home >> All >> jpicedt >> ui >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
jpicedt.ui.util
Class RunExternalCommand.Customizer

java.lang.Objectjava.awt.Component
java.awt.Container
javax.swing.JComponent
javax.swing.JPanel
jpicedt.graphic.toolkit.AbstractCustomizer
jpicedt.ui.util.RunExternalCommand.Customizer
- All Implemented Interfaces:
- javax.accessibility.Accessible, java.awt.event.ActionListener, java.awt.event.ComponentListener, java.util.EventListener, java.awt.image.ImageObserver, java.awt.MenuContainer, java.io.Serializable
- Enclosing class:
- RunExternalCommand
- private static class RunExternalCommand.Customizer
- extends jpicedt.graphic.toolkit.AbstractCustomizer
- implements java.awt.event.ActionListener
- extends jpicedt.graphic.toolkit.AbstractCustomizer
A Customizer for the configuration of external commands preferences.
- Since:
- PicEdt 1.3
| Nested Class Summary |
| Nested classes inherited from class javax.swing.JPanel |
javax.swing.JPanel.AccessibleJPanel |
| Nested classes inherited from class javax.swing.JComponent |
javax.swing.JComponent.AccessibleJComponent |
| Nested classes inherited from class java.awt.Container |
java.awt.Container.AccessibleAWTContainer |
| Nested classes inherited from class java.awt.Component |
java.awt.Component.AccessibleAWTComponent, java.awt.Component.BltBufferStrategy, java.awt.Component.FlipBufferStrategy |
| Field Summary | |
private javax.swing.JTextField |
dvipsCommandTF
|
private javax.swing.JTextField |
dviviewerCommandTF
|
private javax.swing.JTextField |
ghostviewCommandTF
|
private javax.swing.JTextField |
latexCommandTF
|
private javax.swing.JButton |
loadConfigBT
|
private java.util.Properties |
preferences
|
private javax.swing.JTextField |
user1CommandTF
|
private javax.swing.JTextField |
user2CommandTF
|
| 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.Container |
|
| 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 | |
RunExternalCommand.Customizer(java.util.Properties preferences)
Creates a new panel for the configuration of external commands |
|
| Method Summary | |
void |
actionPerformed(java.awt.event.ActionEvent e)
ActionHandler for "loadConfigBT" |
javax.swing.Icon |
getIcon()
|
java.lang.String |
getTitle()
|
java.lang.String |
getTooltip()
|
void |
load()
Load widgets value, presumably from a "preferences" file or a dedicated storage class |
private void |
load(java.util.Properties pref)
Load widgets value from the Properties object given in the constructor |
void |
loadDefault()
Load widgets display content with a default value retrieved from the Properties object |
void |
store()
Store current widgets value to the Properties object given in the constructor |
| Methods inherited from class jpicedt.graphic.toolkit.AbstractCustomizer |
activated, componentHidden, componentMoved, componentResized, componentShown |
| 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 |
latexCommandTF
private javax.swing.JTextField latexCommandTF
dviviewerCommandTF
private javax.swing.JTextField dviviewerCommandTF
dvipsCommandTF
private javax.swing.JTextField dvipsCommandTF
ghostviewCommandTF
private javax.swing.JTextField ghostviewCommandTF
user1CommandTF
private javax.swing.JTextField user1CommandTF
user2CommandTF
private javax.swing.JTextField user2CommandTF
preferences
private java.util.Properties preferences
loadConfigBT
private javax.swing.JButton loadConfigBT
| Constructor Detail |
RunExternalCommand.Customizer
public RunExternalCommand.Customizer(java.util.Properties preferences)
- Creates a new panel for the configuration of external commands
| Method Detail |
getTitle
public java.lang.String getTitle()
- Since:
- jPicEdt 1.3.2
getIcon
public javax.swing.Icon getIcon()
- Since:
- jPicEdt 1.3.2
getTooltip
public java.lang.String getTooltip()
- Since:
- jPicEdt 1.3.2
loadDefault
public void loadDefault()
- Load widgets display content with a default value retrieved from the Properties object
- Since:
- jPicEdt 1.3.2
load
private void load(java.util.Properties pref)
- Load widgets value from the Properties object given in the constructor
- Since:
- jPicEdt 1.3.2
load
public void load()
- Description copied from class:
jpicedt.graphic.toolkit.AbstractCustomizer - Load widgets value, presumably from a "preferences" file or a dedicated storage class
actionPerformed
public void actionPerformed(java.awt.event.ActionEvent e)
- ActionHandler for "loadConfigBT"
- Specified by:
actionPerformedin interfacejava.awt.event.ActionListener
store
public void store()
- Store current widgets value to the Properties object given in the constructor
- Since:
- jPicEdt 1.3.2
|
|||||||||
| Home >> All >> jpicedt >> ui >> [ util overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC