Author: scabanovich
Date: 2007-10-24 11:24:11 -0400 (Wed, 24 Oct 2007)
New Revision: 4469
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/core/jdt/FavoritesClassController.java
Log:
JBIDE-727
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/core/jdt/FavoritesClassController.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/core/jdt/FavoritesClassController.java 2007-10-24
15:23:48 UTC (rev 4468)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/core/jdt/FavoritesClassController.java 2007-10-24
15:24:11 UTC (rev 4469)
@@ -10,6 +10,7 @@
******************************************************************************/
package org.jboss.tools.common.core.jdt;
+import java.io.IOException;
import java.util.ArrayList;
import java.util.Collection;
import java.util.Iterator;
@@ -17,6 +18,8 @@
import java.util.StringTokenizer;
import org.eclipse.jdt.internal.ui.JavaPluginImages;
+import org.eclipse.jface.preference.IPersistentPreferenceStore;
+import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.viewers.LabelProvider;
import org.eclipse.swt.graphics.Image;
@@ -54,24 +57,32 @@
public static void push(String className) {
List<String> list = getFavoritesClassesList();
int index = -1;
- for (int i=0;i<list.size();++i) {
- if (className.equals((String)list.get(i))) {
+ for (int i = 0; i < list.size(); ++i) {
+ if (className.equals(list.get(i))) {
index = i;
break;
}
}
- if (index>-1) {
+ if (index > -1) {
list.add(0, list.get(index));
- list.remove(index+1);
+ list.remove(index + 1);
} else {
- list.add(0,className);
+ list.add(0, className);
}
ArrayList<String> newList = new ArrayList<String>();
if (list.size() > 10) {
for (int i = 0; i < 10; ++i) newList.add(list.get(i));
list = newList;
}
- ModelUIPlugin.getDefault().getPreferenceStore().setValue(FAVORITES_CLASSES_LIST,
getClassesListString(list));
+ IPreferenceStore store = ModelUIPlugin.getDefault().getPreferenceStore();
+ store.setValue(FAVORITES_CLASSES_LIST, getClassesListString(list));
+ if(store instanceof IPersistentPreferenceStore) {
+ try {
+ ((IPersistentPreferenceStore)store).save();
+ } catch (IOException e) {
+ ModelUIPlugin.getPluginLog().logError(e);
+ }
+ }
}
private static LabelProvider labelProvider = new FavoritesClassLabelProvider();