org.eclipse.xtext.ui.editor.syntaxcoloring
Class TokenTypeDefDetailsPart

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.eclipse.jface.preference.FieldEditorPreferencePage
              org.eclipse.xtext.ui.editor.preferences.fields.AbstractDetailsPart
                  org.eclipse.xtext.ui.editor.syntaxcoloring.TokenTypeDefDetailsPart

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

public class TokenTypeDefDetailsPart
extends AbstractDetailsPart

Author:

Dennis Hübner - Initial contribution and API

Field Summary

Fields inherited from class org.eclipse.xtext.ui.editor.preferences.fields.AbstractDetailsPart

internalStore, masterPreferenceStore

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

TokenTypeDefDetailsPart(org.eclipse.jface.preference.IPreferenceStore preferenceStore)

Method Summary

protected void

createFieldEditors() Creates the page's field editors.

Methods inherited from class org.eclipse.xtext.ui.editor.preferences.fields.AbstractDetailsPart

addField, createControl, doGetPreferenceStore, getPreferencePrefix, load, loadDefaults, performOk, propertyChange

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

adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performDefaults, setVisible

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

applyData, applyDialogFont, computeSize, contributeButtons, createDescriptionLabel, createNoteComposite, doComputeSize, 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.dialogs.IDialogPage

getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, setDescription, setImageDescriptor

Constructor Detail

TokenTypeDefDetailsPart

public TokenTypeDefDetailsPart(org.eclipse.jface.preference.IPreferenceStore preferenceStore)

Method Detail

createFieldEditors

protected void createFieldEditors()

Description copied from class: org.eclipse.jface.preference.FieldEditorPreferencePage

Creates the page's field editors.

The default implementation of this framework method does nothing. Subclass must implement this method to create the field editors.

Subclasses should call getFieldEditorParent to obtain the parent control for each field editor. This same parent should not be used for more than one editor as the parent may change for each field editor depending on the layout style of the page

Specified by:

createFieldEditors in class AbstractDetailsPart