package org.erlide.ui.editors.erl.folding;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;
import org.erlide.ui.internal.ErlideUIPlugin;
import org.erlide.ui.prefs.FoldingConfigurationBlock;
import org.erlide.ui.prefs.IPreferenceConfigurationBlock;
import org.erlide.ui.prefs.plugin.PreferencesMessages;
import org.erlide.ui.util.OverlayPreferenceStore;
public final class FoldingPreferencePage extends AbstractConfigurationBlockPreferencePage {
/*
* @seeorg.eclipse.ui.internal.editors.text.
* AbstractConfigureationBlockPreferencePage#getHelpId()
*/
@Override
protected String getHelpId() {
return ""; // IErlangHelpContextIds.JAVA_EDITOR_PREFERENCE_PAGE;
}
/*
* @see
* org.eclipse.ui.internal.editors.text.AbstractConfigurationBlockPreferencePage
* #setDescription()
*/
@Override
protected void setDescription() {
final String description = PreferencesMessages.ErlEditorPreferencePage_folding_title;
setDescription(description);
}
/*
* @seeorg.org.eclipse.ui.internal.editors.text.
* AbstractConfigurationBlockPreferencePage#setPreferenceStore()
*/
@Override
protected void setPreferenceStore() {
setPreferenceStore(ErlideUIPlugin.getDefault().getPreferenceStore());
}
@Override
protected Label createDescriptionLabel(final Composite parent) {
return null; // no description for new look.
}
/*
* @seeorg.eclipse.ui.internal.editors.text.
* AbstractConfigureationBlockPreferencePage
* #createConfigurationBlock(org.eclipse
* .ui.internal.editors.text.OverlayPreferenceStore)
*/
@Override
protected IPreferenceConfigurationBlock createConfigurationBlock(
final OverlayPreferenceStore overlayPreferenceStore) {
return new FoldingConfigurationBlock(overlayPreferenceStore);
}
}