|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--java.awt.Component | +--java.awt.Container | +--java.awt.Window | +--java.awt.Dialog | +--javax.swing.JDialog | +--gate.gui.OptionsDialog
The options dialog for Gate.
Inner Class Summary | |
protected static class |
OptionsDialog.LNFData
|
(package private) class |
OptionsDialog.OKAction
|
Inner classes inherited from class javax.swing.JDialog |
JDialog.AccessibleJDialog |
Inner classes inherited from class java.awt.Dialog |
Dialog.AccessibleAWTDialog |
Inner classes inherited from class java.awt.Window |
Window.AccessibleAWTWindow |
Inner classes inherited from class java.awt.Container |
Container.AccessibleAWTContainer |
Inner classes inherited from class java.awt.Component |
Component.AccessibleAWTComponent, Component.AWTTreeLock |
Field Summary | |
(package private) JButton |
cancelButton
The Cancel button: hides the dialog without doing anything |
(package private) Font |
componentsFont
The font to be used for GUI components; cached value for the one in the user config map. |
static String[] |
componentsKeys
|
(package private) boolean |
dirtyGUI
This flag becomes true when an GUI related option has been changed |
(package private) ButtonGroup |
fontBG
Button group for the font setting radio buttons |
(package private) JFontChooser |
fontChooser
The font chooser used for selecting fonts |
(package private) JComboBox |
lnfCombo
The combobox for the look and feel selection |
(package private) String |
lookAndFeelClassName
The name of the look and feel class |
(package private) JTabbedPane |
mainTabbedPane
The main tabbed pane |
(package private) JRadioButton |
menuBtn
Radio button used to set the font for menu components |
static String[] |
menuKeys
|
(package private) Font |
menusFont
The font to be used for the menus; cached value for the one in the user config map. |
(package private) JButton |
okButton
The OK button. |
(package private) JRadioButton |
otherCompsBtn
Radio button used to set the font for other components |
(package private) JCheckBox |
saveOptionsChk
The "Save Options on close" checkbox |
(package private) JCheckBox |
saveSessionChk
The "Save Session on close" checkbox |
(package private) String |
selectedFontBtn
which text is currently being edited; values are: "text", "menu", "other" |
(package private) JRadioButton |
textBtn
Radio button used to set the font for text components |
(package private) Font |
textComponentsFont
The font to be used for text components; cached value for the one in the user config map. |
static String[] |
textComponentsKeys
|
Fields inherited from class javax.swing.JDialog |
accessibleContext, defaultCloseOperation, rootPane, rootPaneCheckingEnabled |
Fields inherited from class java.awt.Dialog |
base, keepBlocking, modal, nameCounter, resizable, serialVersionUID, title |
Fields inherited from class java.awt.Window |
active, dbg, focusMgr, inputContext, inputContextLock, OPENED, ownedWindowList, state, warningString, weakThis, windowListener, windowSerializedDataVersion |
Fields inherited from class java.awt.Container |
component, containerListener, containerSerializedDataVersion, dispatcher, layoutMgr, listeningBoundsChildren, listeningChildren, maxSize, ncomponents, printing, printingThreads |
Fields inherited from interface javax.swing.WindowConstants |
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, HIDE_ON_CLOSE |
Fields inherited from interface java.awt.image.ImageObserver |
ABORT, ALLBITS, ERROR, FRAMEBITS, HEIGHT, PROPERTIES, SOMEBITS, WIDTH |
Constructor Summary | |
OptionsDialog(Frame owner)
|
Method Summary | |
void |
dispose()
|
protected void |
initGuiComponents()
|
protected void |
initListeners()
|
protected void |
initLocalData()
|
static void |
main(String[] args)
|
protected void |
selectedFontChanged()
|
static void |
setComponentsFont(Font font)
Updates the Swing defaults table with the provided font to be used for various compoents that neither text or menu components |
static void |
setMenuComponentsFont(Font font)
Updates the Swing defaults table with the provided font to be used for the menu components |
static void |
setTextComponentsFont(Font font)
Updates the Swing defaults table with the provided font to be used for the text components |
protected static void |
setUIDefaults(Object[] keys,
Object value)
|
void |
show()
|
Methods inherited from class java.awt.Dialog |
|
Methods inherited from class java.lang.Object |
clone, equals, getClass, hashCode, notify, notifyAll, registerNatives, wait, wait, wait |
Field Detail |
public static String[] menuKeys
public static String[] componentsKeys
public static String[] textComponentsKeys
JTabbedPane mainTabbedPane
JButton okButton
OptionsDialog.OKAction
JButton cancelButton
JRadioButton textBtn
String selectedFontBtn
JRadioButton menuBtn
JRadioButton otherCompsBtn
ButtonGroup fontBG
JFontChooser fontChooser
JCheckBox saveOptionsChk
JCheckBox saveSessionChk
String lookAndFeelClassName
Font menusFont
Font textComponentsFont
Font componentsFont
boolean dirtyGUI
JComboBox lnfCombo
Constructor Detail |
public OptionsDialog(Frame owner)
Method Detail |
protected void initLocalData()
protected void initGuiComponents()
protected void initListeners()
public void dispose()
dispose
in class Dialog
protected void selectedFontChanged()
public void show()
show
in class Dialog
public static void main(String[] args)
protected static void setUIDefaults(Object[] keys, Object value)
public static void setTextComponentsFont(Font font)
public static void setMenuComponentsFont(Font font)
public static void setComponentsFont(Font font)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |