package org.eclipse.dltk.ui.preferences;
/**
* Preference page for script editor hover settings.
*
* <p>
* Implementations that wish to expose this preference page need only include
* the following snippet in their <code>plugin.xml</code>:
* </p>
*
* <pre>
* <extension point="org.eclipse.ui.preferencePages">
* <page
* category="..."
* class="org.eclipse.dltk.ui.preferences.ScriptEditorHoverPreferencePage:nature_id"
* id="..."
* name="..." />
* <extension>
* </pre>
*/
public class ScriptEditorHoverPreferencePage extends
AbstractScriptPreferencePage {
@Override
protected IPreferenceConfigurationBlock createConfigurationBlock(
OverlayPreferenceStore overlayPreferenceStore) {
return new ScriptEditorHoverConfigurationBlock(this,
overlayPreferenceStore, getToolkit().getNatureId());
}
@Override
protected void setDescription() {
// setDescription(PreferencesMessages.DLTKEditorPreferencePage_hoverTab_title);
}
}