X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;ds=sidebyside;f=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2Fhandler%2FAbstractPreferenceHandler.java;fp=bundles%2Forg.simantics.ui%2Fsrc%2Forg%2Fsimantics%2Fui%2Fworkbench%2Fhandler%2FAbstractPreferenceHandler.java;h=6fe0c628b3c8d625be34eb9cb6cbc45d539fb88d;hb=969bd23cab98a79ca9101af33334000879fb60c5;hp=0000000000000000000000000000000000000000;hpb=866dba5cd5a3929bbeae85991796acb212338a08;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.ui/src/org/simantics/ui/workbench/handler/AbstractPreferenceHandler.java b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/handler/AbstractPreferenceHandler.java new file mode 100644 index 000000000..6fe0c628b --- /dev/null +++ b/bundles/org.simantics.ui/src/org/simantics/ui/workbench/handler/AbstractPreferenceHandler.java @@ -0,0 +1,44 @@ +/******************************************************************************* + * Copyright (c) 2007, 2010 Association for Decentralized Information Management + * in Industry THTH ry. + * All rights reserved. This program and the accompanying materials + * are made available under the terms of the Eclipse Public License v1.0 + * which accompanies this distribution, and is available at + * http://www.eclipse.org/legal/epl-v10.html + * + * Contributors: + * VTT Technical Research Centre of Finland - initial API and implementation + *******************************************************************************/ +package org.simantics.ui.workbench.handler; + +import org.eclipse.core.commands.AbstractHandler; +import org.eclipse.core.runtime.Assert; +import org.eclipse.jface.preference.IPreferenceStore; +import org.eclipse.ui.plugin.AbstractUIPlugin; + +public abstract class AbstractPreferenceHandler extends AbstractHandler { + + private AbstractUIPlugin plugin; + + public AbstractPreferenceHandler(AbstractUIPlugin plugin) { + Assert.isNotNull(plugin); + this.plugin = plugin; + } + + protected IPreferenceStore getPrefs() { + return plugin.getPreferenceStore(); + } + + protected void savePrefs() { + plugin.savePluginPreferences(); + } + + protected String getPreferenceString(String key) { + return getPrefs().getString(key); + } + + protected void setPreference(String key, String value) { + getPrefs().setValue(key, value); + } + +}