ScriptEditorHoverPreferencePage.java

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 {

	protected IPreferenceConfigurationBlock createConfigurationBlock(
			OverlayPreferenceStore overlayPreferenceStore) {
		return new ScriptEditorHoverConfigurationBlock(this,
				overlayPreferenceStore, getToolkit().getNatureId());
	}

	protected void setDescription() {
		// setDescription(PreferencesMessages.DLTKEditorPreferencePage_hoverTab_title);
	}
}