|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.eclipse.jface.dialogs.DialogPage org.eclipse.jface.preference.PreferencePage org.eclipse.jface.preference.FieldEditorPreferencePage org.eclipse.xtext.ui.editor.preferences.AbstractPreferencePage org.eclipse.xtext.ui.editor.syntaxcoloring.SyntaxColoringPreferencePage
public class SyntaxColoringPreferencePage
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 | |
---|---|
SyntaxColoringPreferencePage()
|
Method Summary | |
---|---|
void |
acceptDefaultHighlighting(java.lang.String id,
java.lang.String name,
TextStyle style)
Call this method to announce a specific default style. |
protected void |
addField(org.eclipse.jface.preference.FieldEditor editor)
TODO: better use unqualified names in preference store. |
void |
collectHighlightings(IHighlightingConfiguration configuration)
|
int |
compare(Triple<java.lang.String,java.lang.String,TextStyle> left,
Triple<java.lang.String,java.lang.String,TextStyle> right)
|
protected void |
createFieldEditors()
Creates the page's field editors. |
protected java.lang.String |
qualifiedName()
|
protected void |
refreshAttributes()
|
Methods inherited from class org.eclipse.xtext.ui.editor.preferences.AbstractPreferencePage |
---|
createContents, createControl, doGetPreferenceStore, getElement, getLanguageName, getQualifier, getWorkbench, init, isPropertyPage, performOk, setElement, updateFieldEditors |
Methods inherited from class org.eclipse.jface.preference.FieldEditorPreferencePage |
---|
adjustGridLayout, applyFont, checkState, dispose, getFieldEditorParent, initialize, performDefaults, propertyChange, 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 java.util.Comparator |
---|
equals |
Methods inherited from interface org.eclipse.jface.preference.IPreferencePage |
---|
computeSize, isValid, okToLeave, performCancel, setContainer, setSize |
Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage |
---|
dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible |
Constructor Detail |
---|
public SyntaxColoringPreferencePage()
Method Detail |
---|
protected java.lang.String qualifiedName()
qualifiedName
in class AbstractPreferencePage
@Inject public void collectHighlightings(IHighlightingConfiguration configuration)
public void acceptDefaultHighlighting(java.lang.String id, java.lang.String name, TextStyle style)
IHighlightingConfigurationAcceptor
IllegalStateException
when an id is used twice.
acceptDefaultHighlighting
in interface IHighlightingConfigurationAcceptor
id
- the unique id that should be associated with the given style.name
- the human readable name of the style.style
- the default style with the given id and name.ILexicalHighlightingConfiguration#configure(IHighlightingConfigurationAcceptor)
,
ISemanticHighlightingConfiguration#configure(IHighlightingConfigurationAcceptor)
protected void createFieldEditors()
org.eclipse.jface.preference.FieldEditorPreferencePage
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
createFieldEditors
in class org.eclipse.jface.preference.FieldEditorPreferencePage
protected void refreshAttributes()
public int compare(Triple<java.lang.String,java.lang.String,TextStyle> left, Triple<java.lang.String,java.lang.String,TextStyle> right)
compare
in interface java.util.Comparator<Triple<java.lang.String,java.lang.String,TextStyle>>
protected void addField(org.eclipse.jface.preference.FieldEditor editor)
addField
in class AbstractPreferencePage
editor
- the field editor
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |