gate.gui
Class OptionsDialog

java.lang.Object
  |
  +--java.awt.Component
        |
        +--java.awt.Container
              |
              +--java.awt.Window
                    |
                    +--java.awt.Dialog
                          |
                          +--javax.swing.JDialog
                                |
                                +--gate.gui.OptionsDialog
All Implemented Interfaces:
Accessible, ImageObserver, MenuContainer, RootPaneContainer, Serializable, WindowConstants

public class OptionsDialog
extends JDialog

The options dialog for Gate.

See Also:
Serialized Form

Nested Class Summary
protected static class OptionsDialog.LNFData
           
(package private)  class OptionsDialog.OKAction
           
 
Field Summary
(package private)  JCheckBox addSpaceOnMarkupUnpackChk
          The "Add extra space markup unpack if needed" checkbox
(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)  JCheckBox includeFeaturesOnPreserveFormatChk
          The "Include Annotation Features in Save Preserving Format" checkbox
(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, rootPane, rootPaneCheckingEnabled
 
Fields inherited from class java.awt.Dialog
 
Fields inherited from class java.awt.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 javax.swing.WindowConstants
DISPOSE_ON_CLOSE, DO_NOTHING_ON_CLOSE, EXIT_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 javax.swing.JDialog
addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getJMenuBar, getLayeredPane, getRootPane, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, update
 
Methods inherited from class java.awt.Dialog
addNotify, getTitle, hide, isModal, isResizable, isUndecorated, setModal, setResizable, setTitle, setUndecorated
 
Methods inherited from class java.awt.Window
addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, finalize, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getGraphicsConfiguration, getInputContext, getListeners, getLocale, getMostRecentFocusOwner, getOwnedWindows, getOwner, getToolkit, getWarningString, getWindowFocusListeners, getWindowListeners, getWindowStateListeners, isActive, isFocusableWindow, isFocusCycleRoot, isFocused, isShowing, pack, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, setCursor, setFocusableWindowState, setFocusCycleRoot, setLocationRelativeTo, toBack, toFront
 
Methods inherited from class java.awt.Container
add, add, add, add, add, addContainerListener, applyComponentOrientation, areFocusTraversalKeysSet, countComponents, deliverEvent, doLayout, findComponentAt, findComponentAt, getAlignmentX, getAlignmentY, getComponent, getComponentAt, getComponentAt, getComponentCount, getComponents, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paint, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, removeNotify, setFocusTraversalKeys, setFocusTraversalPolicy, setFont, transferFocusBackward, transferFocusDownCycle, validate, validateTree
 
Methods inherited from class java.awt.Component
action, add, addComponentListener, addFocusListener, addHierarchyBoundsListener, addHierarchyListener, addInputMethodListener, addKeyListener, addMouseListener, addMouseMotionListener, addMouseWheelListener, bounds, checkImage, checkImage, coalesceEvents, contains, contains, createImage, createImage, createVolatileImage, createVolatileImage, disable, disableEvents, dispatchEvent, enable, enable, enableEvents, enableInputMethods, firePropertyChange, firePropertyChange, firePropertyChange, getBackground, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphics, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMouseWheelListeners, getName, getParent, getPeer, getPropertyChangeListeners, getPropertyChangeListeners, getSize, getSize, getTreeLock, getWidth, getX, getY, gotFocus, handleEvent, hasFocus, imageUpdate, inside, isBackgroundSet, isCursorSet, isDisplayable, isDoubleBuffered, isEnabled, isFocusable, isFocusOwner, isFocusTraversable, isFontSet, isForegroundSet, isLightweight, isOpaque, isValid, isVisible, keyDown, keyUp, list, list, list, location, lostFocus, mouseDown, mouseDrag, mouseEnter, mouseExit, mouseMove, mouseUp, move, nextFocus, paintAll, prepareImage, prepareImage, printAll, processComponentEvent, processFocusEvent, processHierarchyBoundsEvent, processHierarchyEvent, processInputMethodEvent, processKeyEvent, processMouseEvent, processMouseMotionEvent, processMouseWheelEvent, remove, removeComponentListener, removeFocusListener, removeHierarchyBoundsListener, removeHierarchyListener, removeInputMethodListener, removeKeyListener, removeMouseListener, removeMouseMotionListener, removeMouseWheelListener, removePropertyChangeListener, removePropertyChangeListener, repaint, repaint, repaint, repaint, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, reshape, resize, resize, setBackground, setBounds, setBounds, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setLocation, setLocation, setName, setSize, setSize, setVisible, show, size, toString, transferFocus, transferFocusUpCycle
 
Methods inherited from class java.lang.Object
clone, equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

menuKeys

public static String[] menuKeys

componentsKeys

public static String[] componentsKeys

textComponentsKeys

public static String[] textComponentsKeys

mainTabbedPane

JTabbedPane mainTabbedPane
The main tabbed pane


okButton

JButton okButton
The OK button. The action for this button is an OptionsDialog.OKAction


cancelButton

JButton cancelButton
The Cancel button: hides the dialog without doing anything


textBtn

JRadioButton textBtn
Radio button used to set the font for text components


selectedFontBtn

String selectedFontBtn
which text is currently being edited; values are: "text", "menu", "other"


menuBtn

JRadioButton menuBtn
Radio button used to set the font for menu components


otherCompsBtn

JRadioButton otherCompsBtn
Radio button used to set the font for other components


fontBG

ButtonGroup fontBG
Button group for the font setting radio buttons


fontChooser

JFontChooser fontChooser
The font chooser used for selecting fonts


saveOptionsChk

JCheckBox saveOptionsChk
The "Save Options on close" checkbox


saveSessionChk

JCheckBox saveSessionChk
The "Save Session on close" checkbox


includeFeaturesOnPreserveFormatChk

JCheckBox includeFeaturesOnPreserveFormatChk
The "Include Annotation Features in Save Preserving Format" checkbox


addSpaceOnMarkupUnpackChk

JCheckBox addSpaceOnMarkupUnpackChk
The "Add extra space markup unpack if needed" checkbox


lookAndFeelClassName

String lookAndFeelClassName
The name of the look and feel class


menusFont

Font menusFont
The font to be used for the menus; cached value for the one in the user config map.


textComponentsFont

Font textComponentsFont
The font to be used for text components; cached value for the one in the user config map.


componentsFont

Font componentsFont
The font to be used for GUI components; cached value for the one in the user config map.


dirtyGUI

boolean dirtyGUI
This flag becomes true when an GUI related option has been changed


lnfCombo

JComboBox lnfCombo
The combobox for the look and feel selection

Constructor Detail

OptionsDialog

public OptionsDialog(Frame owner)
Method Detail

initLocalData

protected void initLocalData()

initGuiComponents

protected void initGuiComponents()

initListeners

protected void initListeners()

dispose

public void dispose()
Overrides:
dispose in class Dialog

selectedFontChanged

protected void selectedFontChanged()

show

public void show()
Overrides:
show in class Dialog

main

public static void main(String[] args)

setUIDefaults

protected static void setUIDefaults(Object[] keys,
                                    Object value)

setTextComponentsFont

public static void setTextComponentsFont(Font font)
Updates the Swing defaults table with the provided font to be used for the text components


setMenuComponentsFont

public static void setMenuComponentsFont(Font font)
Updates the Swing defaults table with the provided font to be used for the menu components


setComponentsFont

public 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