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:

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

Constructors

Constructor and Description
TokenTypeDefDetailsPart(org.eclipse.jface.preference.IPreferenceStore preferenceStore)

Method Summary

Methods

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