1 package org.simantics.district.network.ui.prefs;
3 import org.eclipse.core.runtime.preferences.InstanceScope;
4 import org.eclipse.jface.preference.FieldEditorPreferencePage;
5 import org.eclipse.jface.preference.IPreferenceStore;
6 import org.eclipse.ui.IWorkbench;
7 import org.eclipse.ui.IWorkbenchPreferencePage;
8 import org.eclipse.ui.preferences.ScopedPreferenceStore;
9 import org.simantics.district.network.ui.internal.Activator;
11 public class DistrictPreferencePage extends FieldEditorPreferencePage implements IWorkbenchPreferencePage {
13 public DistrictPreferencePage() {
15 setDescription("District preferences");
19 public void init(IWorkbench workbench) {
24 protected IPreferenceStore doGetPreferenceStore() {
25 return new ScopedPreferenceStore(InstanceScope.INSTANCE, Activator.PLUGIN_ID);
29 protected void createFieldEditors() {