avoid duplicates in the history view

Dierk · Jun 1, 2015 · 18b1949 · 18b1949
1 parent 4c61c5d
commit 18b1949
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/client/src/main/frege/org/frege/Application.fr b/client/src/main/frege/org/frege/Application.fr
@@ -124,7 +124,8 @@ doExecute mQueue inputArea items historySelection = do
            then [trim script]
            else [":{"] ++ lines script ++ [":}"]
         mapM mQueue.put scriptLines                 -- the beef
-        items.add $ trim script
+        items.remove $ trim script
+        items.add    $ trim script
         historySelection.clearSelection
         inputArea.setText ""
     when (script == ":q") $ System.exit 0

diff --git a/preFregeFX/src/main/frege/fregefx/javafx/collections/ObservableList.fr b/preFregeFX/src/main/frege/fregefx/javafx/collections/ObservableList.fr
@@ -8,6 +8,7 @@ data ObservableList = mutable native javafx.collections.ObservableList where
 --  native addListener    :: ObservableList e -> ListChangeListener e -> IO ()
 --  native filtered       :: ObservableList e -> Predicate e -> IO (FilteredList e)
   native remove         :: ObservableList -> Int -> Int -> IO ()
+                         | ObservableList -> a -> IO ()
 --  native removeAll      :: ObservableList e -> MutableIO (JArray e) -> IO Bool
 --  native removeListener :: ObservableList e -> ListChangeListener e -> IO ()
 --  native retainAll      :: ObservableList e -> MutableIO (JArray e) -> IO Bool
@@ -20,3 +21,4 @@ data ObservableList = mutable native javafx.collections.ObservableList where
   native add  :: ObservableList -> String -> IO Bool
                | ObservableList -> Node -> IO Bool
   native size :: ObservableList -> IO Int
+