Index: editor/tools/plugins/com.xored.glance.ui/src/com/xored/glance/ui/sources/ConfigurationManager.java |
=================================================================== |
--- editor/tools/plugins/com.xored.glance.ui/src/com/xored/glance/ui/sources/ConfigurationManager.java (revision 0) |
+++ editor/tools/plugins/com.xored.glance.ui/src/com/xored/glance/ui/sources/ConfigurationManager.java (revision 0) |
@@ -0,0 +1,35 @@ |
+/******************************************************************************* |
+ * Copyright (c) 2012 xored software, Inc. 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: |
+ * xored software, Inc. - initial API and implementation (Yuri Strot) |
+ ******************************************************************************/ |
+package com.xored.glance.ui.sources; |
+ |
+import com.xored.glance.internal.ui.GlancePlugin; |
+import com.xored.glance.internal.ui.preferences.IPreferenceConstants; |
+ |
+public final class ConfigurationManager { |
+ |
+ private static ConfigurationManager INSTANCE; |
+ |
+ private ConfigurationManager() { |
+ } |
+ |
+ public static ConfigurationManager getInstance() { |
+ if (INSTANCE == null) { |
+ INSTANCE = new ConfigurationManager(); |
+ } |
+ return INSTANCE; |
+ } |
+ |
+ public int getMaxIndexingDepth() { |
+ return GlancePlugin.getDefault().getPreferenceStore().getInt( |
+ IPreferenceConstants.PANEL_MAX_INDEXING_DEPTH); |
+ } |
+ |
+ public boolean incremenstalSearch() { |
+ return GlancePlugin.getDefault().getPreferenceStore().getBoolean( |
+ IPreferenceConstants.SEARCH_INCREMENTAL); |
+ } |
+} |