blob: 4adfaa71c6c622b0ebbd4c8919095a813e60a6f6 [file] [log] [blame]
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>
* &lt;extension point=&quot;org.eclipse.ui.preferencePages&quot;&gt;
* &lt;page
* category=&quot;...&quot;
* class=&quot;org.eclipse.dltk.ui.preferences.ScriptEditorHoverPreferencePage:nature_id&quot;
* id=&quot;...&quot;
* name=&quot;...&quot; /&gt;
* &lt;extension&gt;
* </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);
}
}