X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.ui%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fui%2Fconsole%2FPreferences.java;h=a9d76a2f0839d1ea0d04a2a7a167c3d45fc67c8c;hb=6573b29e111ea03c3fa88bf1565d47d0fc4faabd;hp=e1529af28e040a9c736fd7ad0eeed4512fc8c755;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java
index e1529af28..a9d76a2f0 100644
--- a/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java
+++ b/bundles/org.simantics.scl.ui/src/org/simantics/scl/ui/console/Preferences.java
@@ -1,51 +1,51 @@
-package org.simantics.scl.ui.console;
-
-import java.util.Collection;
-import java.util.Deque;
-import java.util.Iterator;
-import java.util.LinkedList;
-import java.util.Set;
-import java.util.TreeSet;
-
-/**
- * @author Antti Villberg
- */
-public final class Preferences {
-
-    public static final String  COMMAND_HISTORY = "COMMAND_HISTORY";
-
-    private static final String DELIMITER       = "¤¤¤¤";
-
-    public static String join(Collection<String> s, String delimiter) {
-        if (s == null || s.isEmpty()) return "";
-        Iterator<String> iter = s.iterator();
-        StringBuilder builder = new StringBuilder(iter.next());
-        while( iter.hasNext() )
-        {
-            builder.append(delimiter).append(iter.next());
-        }
-        return builder.toString();
-    }
-    
-    public static Deque<String> decodePaths(String recentPathsPref) {
-        Deque<String> result = new LinkedList<String>();
-        for(String s : recentPathsPref.split(DELIMITER)) result.add(s);
-        return result;
-    }
-
-    public static String encodePaths(Collection<String> recentPaths) {
-        return join(recentPaths, DELIMITER);
-    }
-
-    public static <T> void removeDuplicates(Iterable<String> iter) {
-        // Remove duplicates
-        Set<String> dups = new TreeSet<String>(String.CASE_INSENSITIVE_ORDER);
-        for (Iterator<String> it = iter.iterator(); it.hasNext();) {
-            String path = it.next();
-            if (!dups.add(path)) {
-                it.remove();
-            }
-        }
-    }
-
-}
+package org.simantics.scl.ui.console;
+
+import java.util.Collection;
+import java.util.Deque;
+import java.util.Iterator;
+import java.util.LinkedList;
+import java.util.Set;
+import java.util.TreeSet;
+
+/**
+ * @author Antti Villberg
+ */
+public final class Preferences {
+
+    public static final String  COMMAND_HISTORY = "COMMAND_HISTORY";
+
+    private static final String DELIMITER       = "¤¤¤¤";
+
+    public static String join(Collection<String> s, String delimiter) {
+        if (s == null || s.isEmpty()) return "";
+        Iterator<String> iter = s.iterator();
+        StringBuilder builder = new StringBuilder(iter.next());
+        while( iter.hasNext() )
+        {
+            builder.append(delimiter).append(iter.next());
+        }
+        return builder.toString();
+    }
+    
+    public static Deque<String> decodePaths(String recentPathsPref) {
+        Deque<String> result = new LinkedList<String>();
+        for(String s : recentPathsPref.split(DELIMITER)) result.add(s);
+        return result;
+    }
+
+    public static String encodePaths(Collection<String> recentPaths) {
+        return join(recentPaths, DELIMITER);
+    }
+
+    public static <T> void removeDuplicates(Iterable<String> iter) {
+        // Remove duplicates
+        Set<String> dups = new TreeSet<String>(String.CASE_INSENSITIVE_ORDER);
+        for (Iterator<String> it = iter.iterator(); it.hasNext();) {
+            String path = it.next();
+            if (!dups.add(path)) {
+                it.remove();
+            }
+        }
+    }
+
+}