public class GraphvizPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage
Modifier and Type | Class and Description |
---|---|
static class |
GraphvizPreferencePage.GraphvizConfigurationDialog |
Modifier and Type | Field and Description |
---|---|
static java.lang.String |
DOT_EXPORTFORMAT_PREF_KEY |
static java.lang.String |
DOT_PATH_PREF_KEY |
FLAT, GRID, MARGIN_HEIGHT, MARGIN_WIDTH, VERTICAL_SPACING
ERROR, INFORMATION, NONE, WARNING
Constructor and Description |
---|
GraphvizPreferencePage() |
Modifier and Type | Method and Description |
---|---|
protected void |
createFieldEditors() |
protected static org.osgi.service.prefs.Preferences |
dotUiPrefs() |
protected static IPreferenceStore |
dotUiPrefStore() |
static java.lang.String |
getDotExecutablePath() |
static java.lang.String |
getDotExportFormat() |
void |
init(IWorkbench workbench) |
static boolean |
isGraphvizConfigured() |
protected void |
performDefaults() |
static void |
showGraphvizConfigurationDialog() |
addField, adjustGridLayout, applyFont, checkState, createContents, dispose, getFieldEditorParent, initialize, performOk, propertyChange, setVisible
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
convertHeightInCharsToPixels, convertHorizontalDLUsToPixels, convertVerticalDLUsToPixels, convertWidthInCharsToPixels, getControl, getDescription, getDialogFontName, getErrorMessage, getFont, getImage, getMessage, getMessageType, getShell, getTitle, getToolTipText, initializeDialogUnits, isControlCreated, setButtonLayoutData, setControl, setDescription, setImageDescriptor, setMessage
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize
createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle, setVisible
public static final java.lang.String DOT_PATH_PREF_KEY
public static final java.lang.String DOT_EXPORTFORMAT_PREF_KEY
public static boolean isGraphvizConfigured()
public static void showGraphvizConfigurationDialog()
public static java.lang.String getDotExecutablePath()
public static java.lang.String getDotExportFormat()
protected static org.osgi.service.prefs.Preferences dotUiPrefs()
protected static IPreferenceStore dotUiPrefStore()
public void init(IWorkbench workbench)
init
in interface IWorkbenchPreferencePage
protected void createFieldEditors()
createFieldEditors
in class FieldEditorPreferencePage
protected void performDefaults()
performDefaults
in class FieldEditorPreferencePage
Copyright (c) 2014 itemis AG and others. All rights reserved.