package tool.preferences;
import org.eclipse.jface.preference.BooleanFieldEditor;
import org.eclipse.jface.preference.FieldEditorPreferencePage;
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.ui.IWorkbench;
import org.eclipse.ui.IWorkbenchPreferencePage;
import tool.ToolPlugin;
public class DiagnosticPreferencePage extends FieldEditorPreferencePage
implements IWorkbenchPreferencePage{
public DiagnosticPreferencePage(){
super(FieldEditorPreferencePage.GRID);
IPreferenceStore store =
ToolPlugin.getDefault().getPreferenceStore();
setPreferenceStore(store);
}
@Override
public void init(IWorkbench arg0) {
// TODO Auto-generated method stub
}
@Override
protected void createFieldEditors() {
BooleanFieldEditor parser = new BooleanFieldEditor(
ToolPlugin.USE_PARSER_PREFERENCE,
"&Use parser:",
getFieldEditorParent());
addField(parser);
}
}