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()

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()

Specified by:

createFieldEditors in class AbstractDetailsPart