| 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); |
| } |
| } |