ptolemy.backtrack.eclipse.plugin.preferences

Class BacktrackingPreferencePage

java.lang.Object

org.eclipse.jface.dialogs.DialogPage

org.eclipse.jface.preference.PreferencePage

org.eclipse.jface.preference.FieldEditorPreferencePage

ptolemy.backtrack.eclipse.plugin.preferences.SectionPreferencePage

ptolemy.backtrack.eclipse.plugin.preferences.BacktrackingPreferencePage

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, org.eclipse.ui.IWorkbenchPreferencePage

public class BacktrackingPreferencePage
extends SectionPreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

The class to create the backtracking preference page.

Since:

Ptolemy II 5.1

Version:

$Id$

Author:

Thomas Feng

Pt.AcceptedRating:

Red (tfeng)

Pt.ProposedRating:

Red (tfeng)

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

Constructors

Constructor and Description
BacktrackingPreferencePage() Construct a backtracking preference page.

Method Summary

Modifier and Type	Method and Description
org.eclipse.swt.widgets.Control	createContents(org.eclipse.swt.widgets.Composite parent) Create the contents of the preference page with the parent as its container.
void	setVisible(boolean visible) Set whether the backtracking preference page is visible.

Methods inherited from class ptolemy.backtrack.eclipse.plugin.preferences.SectionPreferencePage

_createSection, _getParent, _newComposite, _newComposite, _newGroup, _setEnabled, _setParent, createFieldEditors, init

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

addField, adjustGridLayout, applyFont, checkState, dispose, getFieldEditorParent, initialize, performDefaults, performOk, propertyChange

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

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

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.ui.IWorkbenchPreferencePage

init

Methods inherited from interface org.eclipse.jface.preference.IPreferencePage

computeSize, isValid, okToLeave, performCancel, performOk, setContainer, setSize

Methods inherited from interface org.eclipse.jface.dialogs.IDialogPage

createControl, dispose, getControl, getDescription, getErrorMessage, getImage, getMessage, getTitle, performHelp, setDescription, setImageDescriptor, setTitle

Constructor Detail

BacktrackingPreferencePage

public BacktrackingPreferencePage()

Construct a backtracking preference page.

Method Detail

createContents

public org.eclipse.swt.widgets.Control createContents(org.eclipse.swt.widgets.Composite parent)

Create the contents of the preference page with the parent as its container.

Overrides:

createContents in class SectionPreferencePage

Parameters:

parent - The parent container.

Returns:

The parent itself.

setVisible

public void setVisible(boolean visible)

Set whether the backtracking preference page is visible.

Specified by:

setVisible in interface org.eclipse.jface.dialogs.IDialogPage

Overrides:

setVisible in class org.eclipse.jface.preference.FieldEditorPreferencePage

Parameters:

visible - Whether the backtracking preference page is visible.