/** GeneralPreferencePage */ public GeneralPreferencePage() { super(GRID); setPreferenceStore(HTMLPlugin.getDefault().getPreferenceStore()); }
/** @see com.aptana.ide.editors.preferences.CoreEditorPreferencePage#getEditorImage() */ protected ImageDescriptor getEditorImage() { return HTMLPlugin.getImageDescriptor("images/html_file.png"); // $NON-NLS-1$ }