org.wsmostudio.preferences
Class WSMOMainPage

java.lang.Object
  org.eclipse.jface.dialogs.DialogPage
      org.eclipse.jface.preference.PreferencePage
          org.wsmostudio.preferences.WSMOMainPage

All Implemented Interfaces:

org.eclipse.jface.dialogs.IDialogPage, org.eclipse.jface.dialogs.IMessageProvider, org.eclipse.jface.preference.IPreferencePage, org.eclipse.ui.IWorkbenchPreferencePage

public class WSMOMainPage
extends org.eclipse.jface.preference.PreferencePage
implements org.eclipse.ui.IWorkbenchPreferencePage

The main preference page for the WSMO Studio.

Version:

$Revision: 1420 $ $Date: 2008-01-29 19:46:27 +0200 $

Author:

not attributable

Field Summary

static java.lang.String	PREF_LOAD_IMPORTS
static java.lang.String	PREF_USE_IRI_FULL_NAME
static java.lang.String	PREF_USE_IRI_LOCAL_NAME_IN_NAVI
static java.lang.String	PREF_USE_SLASH_SEP

Fields inherited from interface org.eclipse.jface.dialogs.IMessageProvider

ERROR, INFORMATION, NONE, WARNING

Constructor Summary

WSMOMainPage()

Method Summary

protected org.eclipse.swt.widgets.Control	createContents(org.eclipse.swt.widgets.Composite parent)
void	dispose()
void	init(org.eclipse.ui.IWorkbench workbench)
boolean	performOk()

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, performDefaults, 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, setVisible

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

computeSize, isValid, okToLeave, performCancel, setContainer, setSize

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

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

Field Detail

PREF_USE_IRI_FULL_NAME

public static final java.lang.String PREF_USE_IRI_FULL_NAME

See Also:

Constant Field Values

PREF_USE_SLASH_SEP

public static final java.lang.String PREF_USE_SLASH_SEP

See Also:

Constant Field Values

PREF_USE_IRI_LOCAL_NAME_IN_NAVI

public static final java.lang.String PREF_USE_IRI_LOCAL_NAME_IN_NAVI

See Also:

Constant Field Values

PREF_LOAD_IMPORTS

public static final java.lang.String PREF_LOAD_IMPORTS

See Also:

Constant Field Values

Constructor Detail

WSMOMainPage

public WSMOMainPage()

Method Detail

createContents

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

Specified by:

createContents in class org.eclipse.jface.preference.PreferencePage

init

public void init(org.eclipse.ui.IWorkbench workbench)

Specified by:

init in interface org.eclipse.ui.IWorkbenchPreferencePage

performOk

public boolean performOk()

Specified by:

performOk in interface org.eclipse.jface.preference.IPreferencePage

Overrides:

performOk in class org.eclipse.jface.preference.PreferencePage

dispose

public void dispose()

Specified by:

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

Overrides:

dispose in class org.eclipse.jface.dialogs.DialogPage