webeq3.constants
Class UIConstants

java.lang.Object
  webeq3.constants.UIConstants

public class UIConstants
extends java.lang.Object

Field Summary

static int	ABOUT_EDITOR_MENU
static int	ACTION_PROPERTIES_MENU
static int	ACTIONS_MENU
static int	BORDERS_STRIKETHROUGH_PROPERTIES_MENU
static int	BORDERS_STRIKETHROUGHS_MENU
static java.awt.Color	BUTTON_PANEL_BACKGROUND
static java.awt.Dimension	BUTTON_SIZE The default button size
static int	CHARACTERS_MENU
static int	COMMON_ATTRIBUTES_MENU
static int	COPY_MENU
static int	CUT_MENU
static java.awt.Color	DEFAULT_WINDOWS2K_BACKGROUND
static java.awt.Color	DEFAULT_WINDOWSXP_BACKGROUND
static java.awt.Font	DIALOG_FONT
static int	EDIT_MENU
static java.awt.Font	EDITOR_FONT Font constants used by different UI widgets
static int	EDITOR_HELP_MENU
static int	EQUATION_NUMBER_MENU
static int	EXIT_MENU
static int	EXPRESSION_GROUP_MENU
static int	FILE_MENU These constants define all the menu items you can customize in the SimpleConfigurationInfo, StyleConfigurationInfo and StructureConfigurationInfo objects.
static int	FONT_PROPERTIES_MENU
static int	FRACTION_MENU
static java.awt.Font	FRAME_FONT
static int	GENERAL_EDITING_MENU
static int	HELP_MENU
static int	HIGHLIGHT_ACTION_MENU
static int	INSERT_MENU
static int	LAYOUT_PROPERTIES_MENU
static int	LAYOUTS_MENU
static int	LINE_BREAKING_MENU
static int	LINEBREAK_ATTRIBUTES_MENU
static int	LINK_ACTION_MENU
static java.awt.Color	MAIN_PANEL_BACKGROUND Color constants used by different UI wigets
static int	MANAGE_FONT_STYLES_MENU
static int	MANAGE_PALETTES_TOOLBAR_MENU
static int	MANAGE_TABBED_TOOLBAR_MENU
static java.awt.Font	MENU_FONT
static int	MOUSEOVER_ACTION_MENU
static int	MPHANTOM_MENU
static int	MSPACE_MENU
static int	MSPACE_PROPERTIES_MENU
static int	MULTISCRIPTS_MENU
static int	NESTED_ACTIONS_MENU
static int	NEW_MENU
static int	OPERATOR_PROPERTIES_MENU
static int	OVERSCRIPT_MENU
static int	PARENTHESIZE_EXPRESSION_MENU
static int	PASTE_MENU
static int	PREFERENCES_MENU
static int	PROPERTIES_MENU
static int	RADICAL_MENU
static java.awt.Font	RULER_FONT
static int	SAVE_TABBED_TOOLBAR_MENU
static int	SCRIPTS_MENU
static int	SELECT_ALL_MENU
static int	SHOW_CLIPBOARD_MENU
static int	SPACELIKE_MENU
static int	SQUARE_ROOT_MENU
static int	STANDARD_PALETTES_TOOLBAR_MENU
static int	STANDARD_TABBED_TOOLBAR_MENU
static int	STATUSLINE_ACTION_MENU
static int	STYLE_CHANGE_MENU
static int	SUB_SUPERPRESCRIPT_MENU
static int	SUB_SUPERSCRIPT_MENU
static int	SUBPRESCRIPT_MENU
static int	SUBSCRIPT_MENU
static int	SUPERPRESCRIPT_MENU
static int	SUPERSCRIPT_MENU
static int	SYMBOL_MENU
static int	TABLE_MENU
static int	TABLE_PROPERTIES_MENU
static int	TEXT_MENU
static int	TOGGLE_ACTION_MENU
static int	TOOLBAR_MENU
static int	UNDER_OVERSCRIPT_MENU
static int	UNDERSCRIPT_MENU
static int	UNDO_MENU
static int	VIEW_MENU
static int	VIEW_MINI_TOOLBAR_MENU
static int	VIEW_PALETTES_TOOLBAR_MENU
static int	VIEW_RULER_MENU
static int	VIEW_STATUSLINE_MENU
static int	VIEW_TABBED_TOOLBAR_MENU
static int	VIEW_ZOOM_MENU

Constructor Summary

UIConstants()

Method Summary

static void	initWindowsMenuColor() Retrieves the Windows system menu color from desktop properties and uses it as menu color.
static void	initWindowsMenuFont() Retrieves the Windows system menu font from desktop properties and uses it as menu font.
static void	setButtonPanelBackground(java.awt.Color color) Sets the button panel background.
static void	setDialogFont(java.awt.Font font) Sets the default font used by MathFlow dialogs.
static void	setFrameFont(java.awt.Font font) Sets the default font used by MathFlow frames.
static void	setMainPanelBackground(java.awt.Color color) Sets the main editor panel background.
static void	setMenuFont(java.awt.Font font) Sets the default menu font.

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

ABOUT_EDITOR_MENU

public static final int ABOUT_EDITOR_MENU

See Also:

Constant Field Values

ACTION_PROPERTIES_MENU

public static final int ACTION_PROPERTIES_MENU

See Also:

Constant Field Values

ACTIONS_MENU

public static final int ACTIONS_MENU

See Also:

Constant Field Values

BORDERS_STRIKETHROUGH_PROPERTIES_MENU

public static final int BORDERS_STRIKETHROUGH_PROPERTIES_MENU

See Also:

Constant Field Values

BORDERS_STRIKETHROUGHS_MENU

public static final int BORDERS_STRIKETHROUGHS_MENU

See Also:

Constant Field Values

BUTTON_PANEL_BACKGROUND

public static java.awt.Color BUTTON_PANEL_BACKGROUND

BUTTON_SIZE

public static final java.awt.Dimension BUTTON_SIZE

The default button size

CHARACTERS_MENU

public static final int CHARACTERS_MENU

See Also:

Constant Field Values

COMMON_ATTRIBUTES_MENU

public static final int COMMON_ATTRIBUTES_MENU

See Also:

Constant Field Values

COPY_MENU

public static final int COPY_MENU

See Also:

Constant Field Values

CUT_MENU

public static final int CUT_MENU

See Also:

Constant Field Values

DEFAULT_WINDOWS2K_BACKGROUND

public static java.awt.Color DEFAULT_WINDOWS2K_BACKGROUND

DEFAULT_WINDOWSXP_BACKGROUND

public static java.awt.Color DEFAULT_WINDOWSXP_BACKGROUND

DIALOG_FONT

public static java.awt.Font DIALOG_FONT

EDIT_MENU

public static final int EDIT_MENU

See Also:

Constant Field Values

EDITOR_FONT

public static java.awt.Font EDITOR_FONT

Font constants used by different UI widgets

EDITOR_HELP_MENU

public static final int EDITOR_HELP_MENU

See Also:

Constant Field Values

EQUATION_NUMBER_MENU

public static final int EQUATION_NUMBER_MENU

See Also:

Constant Field Values

EXIT_MENU

public static final int EXIT_MENU

See Also:

Constant Field Values

EXPRESSION_GROUP_MENU

public static final int EXPRESSION_GROUP_MENU

See Also:

Constant Field Values

FILE_MENU

public static final int FILE_MENU

These constants define all the menu items you can customize in the SimpleConfigurationInfo, StyleConfigurationInfo and StructureConfigurationInfo objects.

See Also:

Constant Field Values

FONT_PROPERTIES_MENU

public static final int FONT_PROPERTIES_MENU

See Also:

Constant Field Values

FRACTION_MENU

public static final int FRACTION_MENU

See Also:

Constant Field Values

FRAME_FONT

public static java.awt.Font FRAME_FONT

GENERAL_EDITING_MENU

public static final int GENERAL_EDITING_MENU

See Also:

Constant Field Values

HELP_MENU

public static final int HELP_MENU

See Also:

Constant Field Values

HIGHLIGHT_ACTION_MENU

public static final int HIGHLIGHT_ACTION_MENU

See Also:

Constant Field Values

INSERT_MENU

public static final int INSERT_MENU

See Also:

Constant Field Values

LAYOUT_PROPERTIES_MENU

public static final int LAYOUT_PROPERTIES_MENU

See Also:

Constant Field Values

LAYOUTS_MENU

public static final int LAYOUTS_MENU

See Also:

Constant Field Values

LINE_BREAKING_MENU

public static final int LINE_BREAKING_MENU

See Also:

Constant Field Values

LINEBREAK_ATTRIBUTES_MENU

public static final int LINEBREAK_ATTRIBUTES_MENU

See Also:

Constant Field Values

LINK_ACTION_MENU

public static final int LINK_ACTION_MENU

See Also:

Constant Field Values

MAIN_PANEL_BACKGROUND

public static java.awt.Color MAIN_PANEL_BACKGROUND

Color constants used by different UI wigets

MANAGE_FONT_STYLES_MENU

public static final int MANAGE_FONT_STYLES_MENU

See Also:

Constant Field Values

MANAGE_PALETTES_TOOLBAR_MENU

public static final int MANAGE_PALETTES_TOOLBAR_MENU

See Also:

Constant Field Values

MANAGE_TABBED_TOOLBAR_MENU

public static final int MANAGE_TABBED_TOOLBAR_MENU

See Also:

Constant Field Values

MENU_FONT

public static java.awt.Font MENU_FONT

MOUSEOVER_ACTION_MENU

public static final int MOUSEOVER_ACTION_MENU

See Also:

Constant Field Values

MPHANTOM_MENU

public static final int MPHANTOM_MENU

See Also:

Constant Field Values

MSPACE_MENU

public static final int MSPACE_MENU

See Also:

Constant Field Values

MSPACE_PROPERTIES_MENU

public static final int MSPACE_PROPERTIES_MENU

See Also:

Constant Field Values

MULTISCRIPTS_MENU

public static final int MULTISCRIPTS_MENU

See Also:

Constant Field Values

NESTED_ACTIONS_MENU

public static final int NESTED_ACTIONS_MENU

See Also:

Constant Field Values

NEW_MENU

public static final int NEW_MENU

See Also:

Constant Field Values

OPERATOR_PROPERTIES_MENU

public static final int OPERATOR_PROPERTIES_MENU

See Also:

Constant Field Values

OVERSCRIPT_MENU

public static final int OVERSCRIPT_MENU

See Also:

Constant Field Values

PARENTHESIZE_EXPRESSION_MENU

public static final int PARENTHESIZE_EXPRESSION_MENU

See Also:

Constant Field Values

PASTE_MENU

public static final int PASTE_MENU

See Also:

Constant Field Values

PREFERENCES_MENU

public static final int PREFERENCES_MENU

See Also:

Constant Field Values

PROPERTIES_MENU

public static final int PROPERTIES_MENU

See Also:

Constant Field Values

RADICAL_MENU

public static final int RADICAL_MENU

See Also:

Constant Field Values

RULER_FONT

public static java.awt.Font RULER_FONT

SAVE_TABBED_TOOLBAR_MENU

public static final int SAVE_TABBED_TOOLBAR_MENU

See Also:

Constant Field Values

SCRIPTS_MENU

public static final int SCRIPTS_MENU

See Also:

Constant Field Values

SELECT_ALL_MENU

public static final int SELECT_ALL_MENU

See Also:

Constant Field Values

SHOW_CLIPBOARD_MENU

public static final int SHOW_CLIPBOARD_MENU

See Also:

Constant Field Values

SPACELIKE_MENU

public static final int SPACELIKE_MENU

See Also:

Constant Field Values

SQUARE_ROOT_MENU

public static final int SQUARE_ROOT_MENU

See Also:

Constant Field Values

STANDARD_PALETTES_TOOLBAR_MENU

public static final int STANDARD_PALETTES_TOOLBAR_MENU

See Also:

Constant Field Values

STANDARD_TABBED_TOOLBAR_MENU

public static final int STANDARD_TABBED_TOOLBAR_MENU

See Also:

Constant Field Values

STATUSLINE_ACTION_MENU

public static final int STATUSLINE_ACTION_MENU

See Also:

Constant Field Values

STYLE_CHANGE_MENU

public static final int STYLE_CHANGE_MENU

See Also:

Constant Field Values

SUB_SUPERPRESCRIPT_MENU

public static final int SUB_SUPERPRESCRIPT_MENU

See Also:

Constant Field Values

SUB_SUPERSCRIPT_MENU

public static final int SUB_SUPERSCRIPT_MENU

See Also:

Constant Field Values

SUBPRESCRIPT_MENU

public static final int SUBPRESCRIPT_MENU

See Also:

Constant Field Values

SUBSCRIPT_MENU

public static final int SUBSCRIPT_MENU

See Also:

Constant Field Values

SUPERPRESCRIPT_MENU

public static final int SUPERPRESCRIPT_MENU

See Also:

Constant Field Values

SUPERSCRIPT_MENU

public static final int SUPERSCRIPT_MENU

See Also:

Constant Field Values

SYMBOL_MENU

public static final int SYMBOL_MENU

See Also:

Constant Field Values

TABLE_MENU

public static final int TABLE_MENU

See Also:

Constant Field Values

TABLE_PROPERTIES_MENU

public static final int TABLE_PROPERTIES_MENU

See Also:

Constant Field Values

TEXT_MENU

public static final int TEXT_MENU

See Also:

Constant Field Values

TOGGLE_ACTION_MENU

public static final int TOGGLE_ACTION_MENU

See Also:

Constant Field Values

TOOLBAR_MENU

public static final int TOOLBAR_MENU

See Also:

Constant Field Values

UNDER_OVERSCRIPT_MENU

public static final int UNDER_OVERSCRIPT_MENU

See Also:

Constant Field Values

UNDERSCRIPT_MENU

public static final int UNDERSCRIPT_MENU

See Also:

Constant Field Values

UNDO_MENU

public static final int UNDO_MENU

See Also:

Constant Field Values

VIEW_MENU

public static final int VIEW_MENU

See Also:

Constant Field Values

VIEW_MINI_TOOLBAR_MENU

public static final int VIEW_MINI_TOOLBAR_MENU

See Also:

Constant Field Values

VIEW_PALETTES_TOOLBAR_MENU

public static final int VIEW_PALETTES_TOOLBAR_MENU

See Also:

Constant Field Values

VIEW_RULER_MENU

public static final int VIEW_RULER_MENU

See Also:

Constant Field Values

VIEW_STATUSLINE_MENU

public static final int VIEW_STATUSLINE_MENU

See Also:

Constant Field Values

VIEW_TABBED_TOOLBAR_MENU

public static final int VIEW_TABBED_TOOLBAR_MENU

See Also:

Constant Field Values

VIEW_ZOOM_MENU

public static final int VIEW_ZOOM_MENU

See Also:

Constant Field Values

Constructor Detail

UIConstants

public UIConstants()

Method Detail

initWindowsMenuColor

public static void initWindowsMenuColor()

Retrieves the Windows system menu color from desktop properties and uses it as menu color.

initWindowsMenuFont

public static void initWindowsMenuFont()

Retrieves the Windows system menu font from desktop properties and uses it as menu font.

setButtonPanelBackground

public static void setButtonPanelBackground(java.awt.Color color)

Sets the button panel background.

Parameters:

color - the background for the button panel

setDialogFont

public static void setDialogFont(java.awt.Font font)

Sets the default font used by MathFlow dialogs.

Parameters:

font - the dialog font

setFrameFont

public static void setFrameFont(java.awt.Font font)

Sets the default font used by MathFlow frames.

Parameters:

font - the frame font

setMainPanelBackground

public static void setMainPanelBackground(java.awt.Color color)

Sets the main editor panel background.

Parameters:

color - the background color for the main editor panel

setMenuFont

public static void setMenuFont(java.awt.Font font)

Sets the default menu font.

Parameters:

font - the menu font