Bug 578160 - MonitoringPreferencePage does not need to extend
IWorkbenchPreferencePage
Change-Id: Ie97294c98bbbb4b96ef0b00c9877c5476866b863
Signed-off-by: Lars Vogel <Lars.Vogel@vogella.com>
Reviewed-on: https://git.eclipse.org/r/c/platform/eclipse.platform.ui/+/189517
Tested-by: Platform Bot <platform-bot@eclipse.org>
diff --git a/bundles/org.eclipse.ui.monitoring/src/org/eclipse/ui/internal/monitoring/preferences/MonitoringPreferencePage.java b/bundles/org.eclipse.ui.monitoring/src/org/eclipse/ui/internal/monitoring/preferences/MonitoringPreferencePage.java
index 77a762f..a8245c1 100644
--- a/bundles/org.eclipse.ui.monitoring/src/org/eclipse/ui/internal/monitoring/preferences/MonitoringPreferencePage.java
+++ b/bundles/org.eclipse.ui.monitoring/src/org/eclipse/ui/internal/monitoring/preferences/MonitoringPreferencePage.java
@@ -31,16 +31,13 @@
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Control;
import org.eclipse.swt.widgets.Label;
-import org.eclipse.ui.IWorkbench;
-import org.eclipse.ui.IWorkbenchPreferencePage;
import org.eclipse.ui.internal.monitoring.MonitoringPlugin;
import org.eclipse.ui.monitoring.PreferenceConstants;
/**
* Preference page that allows user to toggle plug in settings from Eclipse preferences.
*/
-public class MonitoringPreferencePage extends FieldEditorPreferencePage
- implements IWorkbenchPreferencePage {
+public class MonitoringPreferencePage extends FieldEditorPreferencePage {
private static final int HOUR_IN_MS = 3600000;
private BooleanFieldEditor monitoringEnabled;
private IntegerEditor longEventWarningThreshold;
@@ -99,6 +96,7 @@
public MonitoringPreferencePage() {
super(GRID);
+ setPreferenceStore(MonitoringPlugin.getPreferenceStore());
editors = new HashMap<>();
}
@@ -187,10 +185,6 @@
return label;
}
- @Override
- public void init(IWorkbench workbench) {
- setPreferenceStore(MonitoringPlugin.getPreferenceStore());
- }
@Override
public void propertyChange(PropertyChangeEvent event) {