org.wsmostudio.preferences
Class TextEditorColorsPage

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.eclipse.jface.preference.FieldEditorPreferencePage
              org.wsmostudio.preferences.TextEditorColorsPage

All Implemented Interfaces:

java.util.EventListener, org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.jface.util.IPropertyChangeListener, org.eclipse.ui.IWorkbenchPreferencePage

public class TextEditorColorsPage
extends org.eclipse.jface.preference.FieldEditorPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

A preference page which defines different colors for the syntax highlighting in the WSMO Text editor.

Version:

$Revision: 545 $ $Date: 2006-01-26 13:57:14 +0200 $

Author:

not attributable

Field Summary

Fields inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage

FLAT, GRID, MARGIN_HEIGHT, MARGIN_WIDTH, VERTICAL_SPACING

Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider

ERROR, INFORMATION, NONE, WARNING

Constructor Summary

TextEditorColorsPage()

Method Summary

protected void	createFieldEditors()
void	dispose()
static org.eclipse.swt.graphics.RGB	getAuxwordsColor()
static int	getAuxwordsStyle()
static org.eclipse.swt.graphics.RGB	getCommentColor()
static int	getCommentStyle()
static org.eclipse.swt.graphics.RGB	getDefaultColor()
static int	getDefaultStyle()
static org.eclipse.swt.graphics.RGB	getKeywordsColor()
static int	getKeywordsStyle()
static org.eclipse.swt.graphics.RGB	getStringsColor()
static int	getStringsStyle()
static org.eclipse.swt.graphics.RGB	getSystemColor()
static int	getSystemStyle()
void	init(org.eclipse.ui.IWorkbench workbench)
protected void	performDefaults()
boolean	performOk()

Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage

addField, adjustGridLayout, applyFont, checkState, createContents, getFieldEditorParent, initialize, propertyChange, setVisible

Methods inherited from class org.eclipse.jface.preference.PreferencePage

applyData, applyDialogFont, computeSize, contributeButtons, createControl, createDescriptionLabel, createNoteComposite, doComputeSize, doGetPreferenceStore, getApplyButton, getContainer, getDefaultsButton, getPreferenceStore, isValid, noDefaultAndApplyButton, okToLeave, performApply, performCancel, performHelp, setContainer, setErrorMessage, setMessage, setPreferenceStore, setSize, setTitle, setValid, toString, updateApplyButton

Methods inherited from class org.eclipse.jface.dialogs.DialogPage

convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.jface.preference.IPreferencePage

computeSize, isValid, okToLeave, performCancel, setContainer, setSize

Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage

createControl, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible

Constructor Detail

TextEditorColorsPage

public TextEditorColorsPage()

Method Detail

createFieldEditors

protected void createFieldEditors()

Specified by:

createFieldEditors in class org.eclipse.jface.preference.FieldEditorPreferencePage

init

public void init(org.eclipse.ui.IWorkbench workbench)

Specified by:

init in interface org.eclipse.ui.IWorkbenchPreferencePage

performOk

public boolean performOk()

Specified by:

performOk in interface org.eclipse.jface.preference.IPreferencePage

Overrides:

performOk in class org.eclipse.jface.preference.FieldEditorPreferencePage

performDefaults

protected void performDefaults()

Overrides:

performDefaults in class org.eclipse.jface.preference.FieldEditorPreferencePage

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.jface.dialogs.IDialogPage

Overrides:

dispose in class org.eclipse.jface.preference.FieldEditorPreferencePage

getSystemColor

public static org.eclipse.swt.graphics.RGB getSystemColor()

getSystemStyle

public static int getSystemStyle()

getKeywordsColor

public static org.eclipse.swt.graphics.RGB getKeywordsColor()

getKeywordsStyle

public static int getKeywordsStyle()

getAuxwordsColor

public static org.eclipse.swt.graphics.RGB getAuxwordsColor()

getAuxwordsStyle

public static int getAuxwordsStyle()

getStringsColor

public static org.eclipse.swt.graphics.RGB getStringsColor()

getStringsStyle

public static int getStringsStyle()

getCommentColor

public static org.eclipse.swt.graphics.RGB getCommentColor()

getCommentStyle

public static int getCommentStyle()

getDefaultColor

public static org.eclipse.swt.graphics.RGB getDefaultColor()

getDefaultStyle

public static int getDefaultStyle()