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:

ImageObserver, MenuContainer, Serializable, Accessible, RootPaneContainer, WindowConstants

public class OptionsDialog
extends JDialog

The options dialog for Gate.

See Also:

Serialized Form

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	OptionsDialog.CancelAction
protected static class	OptionsDialog.LNFData

Nested classes/interfaces inherited from class javax.swing.JDialog

JDialog.AccessibleJDialog

Nested classes/interfaces inherited from class java.awt.Dialog

Dialog.AccessibleAWTDialog, Dialog.ModalExclusionType, Dialog.ModalityType

Nested classes/interfaces inherited from class java.awt.Window

Window.AccessibleAWTWindow, Window.Type

Nested classes/interfaces inherited from class java.awt.Container

Container.AccessibleAWTContainer

Nested classes/interfaces inherited from class java.awt.Component

Component.AccessibleAWTComponent, Component.BaselineResizeBehavior, Component.BltBufferStrategy, Component.FlipBufferStrategy

Field Summary

Fields

Modifier and Type	Field and Description
protected JCheckBox	addSpaceOnMarkupUnpackChk The "Add extra space markup unpack if needed" checkbox
protected JButton	cancelButton The Cancel button for the dialog.
protected Font	componentsFont The font to be used for GUI components; cached value for the one in the user config map.
static String[]	componentsKeys
protected boolean	dirtyGUI This flag becomes true when an GUI related option has been changed
protected ButtonGroup	fontBG Button group for the font setting radio buttons
protected JFontChooser	fontChooser The font chooser used for selecting fonts
protected JComboBox<OptionsDialog.LNFData>	lnfCombo The combobox for the look and feel selection
protected String	lookAndFeelClassName The name of the look and feel class
protected JTabbedPane	mainTabbedPane The main tabbed pane
protected JRadioButton	menuBtn Radio button used to set the font for menu components
static String[]	menuKeys
protected Font	menusFont The font to be used for the menus; cached value for the one in the user config map.
protected JButton	okButton The OK button for the dialog.
protected JRadioButton	otherCompsBtn Radio button used to set the font for other components
protected JCheckBox	saveOptionsChk The "Save Options on close" checkbox
protected JCheckBox	saveSessionChk The "Save Session on close" checkbox
protected String	selectedFontBtn which text is currently being edited; values are: "text", "menu", "other"
protected JRadioButton	textBtn Radio button used to set the font for text components
protected Font	textComponentsFont The font to be used for text components; cached value for the one in the user config map.
static String[]	textComponentsKeys
protected JCheckBox	treeSelectViewChk
protected JCheckBox	viewSelectTreeChk

Fields inherited from class javax.swing.JDialog

accessibleContext, rootPane, rootPaneCheckingEnabled

Fields inherited from class java.awt.Dialog

DEFAULT_MODALITY_TYPE

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

Constructors

Constructor and Description
OptionsDialog(Frame owner)

Method Summary

Modifier and Type	Method and Description
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	showDialog()

Methods inherited from class javax.swing.JDialog

addImpl, createRootPane, dialogInit, getAccessibleContext, getContentPane, getDefaultCloseOperation, getGlassPane, getGraphics, getJMenuBar, getLayeredPane, getRootPane, getTransferHandler, isDefaultLookAndFeelDecorated, isRootPaneCheckingEnabled, paramString, processWindowEvent, remove, repaint, setContentPane, setDefaultCloseOperation, setDefaultLookAndFeelDecorated, setGlassPane, setJMenuBar, setLayeredPane, setLayout, setRootPane, setRootPaneCheckingEnabled, setTransferHandler, update

Methods inherited from class java.awt.Dialog

addNotify, getModalityType, getTitle, hide, isModal, isResizable, isUndecorated, setBackground, setModal, setModalityType, setOpacity, setResizable, setShape, setTitle, setUndecorated, setVisible, show, toBack

Methods inherited from class java.awt.Window

addPropertyChangeListener, addPropertyChangeListener, addWindowFocusListener, addWindowListener, addWindowStateListener, applyResourceBundle, applyResourceBundle, createBufferStrategy, createBufferStrategy, dispose, getBackground, getBufferStrategy, getFocusableWindowState, getFocusCycleRootAncestor, getFocusOwner, getFocusTraversalKeys, getIconImages, getInputContext, getListeners, getLocale, getModalExclusionType, getMostRecentFocusOwner, getOpacity, getOwnedWindows, getOwner, getOwnerlessWindows, getShape, getToolkit, getType, getWarningString, getWindowFocusListeners, getWindowListeners, getWindows, getWindowStateListeners, isActive, isAlwaysOnTop, isAlwaysOnTopSupported, isAutoRequestFocus, isFocusableWindow, isFocusCycleRoot, isFocused, isLocationByPlatform, isOpaque, isShowing, isValidateRoot, pack, paint, postEvent, processEvent, processWindowFocusEvent, processWindowStateEvent, removeNotify, removeWindowFocusListener, removeWindowListener, removeWindowStateListener, reshape, setAlwaysOnTop, setAutoRequestFocus, setBounds, setBounds, setCursor, setFocusableWindowState, setFocusCycleRoot, setIconImage, setIconImages, setLocation, setLocation, setLocationByPlatform, setLocationRelativeTo, setMinimumSize, setModalExclusionType, setSize, setSize, setType, 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, getComponentZOrder, getContainerListeners, getFocusTraversalPolicy, getInsets, getLayout, getMaximumSize, getMinimumSize, getMousePosition, getPreferredSize, insets, invalidate, isAncestorOf, isFocusCycleRoot, isFocusTraversalPolicyProvider, isFocusTraversalPolicySet, layout, list, list, locate, minimumSize, paintComponents, preferredSize, print, printComponents, processContainerEvent, remove, removeAll, removeContainerListener, setComponentZOrder, setFocusTraversalKeys, setFocusTraversalPolicy, setFocusTraversalPolicyProvider, setFont, 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, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, firePropertyChange, getBaseline, getBaselineResizeBehavior, getBounds, getBounds, getColorModel, getComponentListeners, getComponentOrientation, getCursor, getDropTarget, getFocusListeners, getFocusTraversalKeysEnabled, getFont, getFontMetrics, getForeground, getGraphicsConfiguration, getHeight, getHierarchyBoundsListeners, getHierarchyListeners, getIgnoreRepaint, getInputMethodListeners, getInputMethodRequests, getKeyListeners, getLocation, getLocation, getLocationOnScreen, getMouseListeners, getMouseMotionListeners, getMousePosition, 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, isMaximumSizeSet, isMinimumSizeSet, isPreferredSizeSet, 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, requestFocus, requestFocus, requestFocusInWindow, requestFocusInWindow, resize, resize, revalidate, setComponentOrientation, setDropTarget, setEnabled, setFocusable, setFocusTraversalKeysEnabled, setForeground, setIgnoreRepaint, setLocale, setMaximumSize, setName, setPreferredSize, show, size, toString, transferFocus, transferFocusBackward, transferFocusUpCycle

Methods inherited from class java.lang.Object

clone, equals, finalize, 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

protected JTabbedPane mainTabbedPane

The main tabbed pane

textBtn

protected JRadioButton textBtn

Radio button used to set the font for text components

okButton

protected JButton okButton

The OK button for the dialog. It's set as protected so it can be accessed by subclasses in other projects.

cancelButton

protected JButton cancelButton

The Cancel button for the dialog. It's set as protected so it can be accessed by subclasses in other projects.

selectedFontBtn

protected String selectedFontBtn

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

menuBtn

protected JRadioButton menuBtn

Radio button used to set the font for menu components

otherCompsBtn

protected JRadioButton otherCompsBtn

Radio button used to set the font for other components

fontBG

protected ButtonGroup fontBG

Button group for the font setting radio buttons

fontChooser

protected JFontChooser fontChooser

The font chooser used for selecting fonts

saveOptionsChk

protected JCheckBox saveOptionsChk

The "Save Options on close" checkbox

saveSessionChk

protected JCheckBox saveSessionChk

The "Save Session on close" checkbox

addSpaceOnMarkupUnpackChk

protected JCheckBox addSpaceOnMarkupUnpackChk

The "Add extra space markup unpack if needed" checkbox

lookAndFeelClassName

protected String lookAndFeelClassName

The name of the look and feel class

menusFont

protected Font menusFont

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

textComponentsFont

protected Font textComponentsFont

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

componentsFont

protected Font componentsFont

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

dirtyGUI

protected boolean dirtyGUI

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

lnfCombo

protected JComboBox<OptionsDialog.LNFData> lnfCombo

The combobox for the look and feel selection

treeSelectViewChk

protected JCheckBox treeSelectViewChk

viewSelectTreeChk

protected JCheckBox viewSelectTreeChk

Constructor Detail

OptionsDialog

public OptionsDialog(Frame owner)

Method Detail

initLocalData

protected void initLocalData()

initGuiComponents

protected void initGuiComponents()

initListeners

protected void initListeners()

selectedFontChanged

protected void selectedFontChanged()

showDialog

public void showDialog()

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