From ed329611558ab178b277783fa48decb7dd96f7a0 Mon Sep 17 00:00:00 2001 From: Julian Ospald Date: Wed, 30 Dec 2015 02:16:21 +0100 Subject: [PATCH] GTK: add rubberbanding --- src/GUI/Gtk/Utils.hs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/GUI/Gtk/Utils.hs b/src/GUI/Gtk/Utils.hs index 97f2747..5eab601 100644 --- a/src/GUI/Gtk/Utils.hs +++ b/src/GUI/Gtk/Utils.hs @@ -264,6 +264,7 @@ constructTreeView mygui myview = do -- update treeview model treeViewSetModel treeView' sortedModel' + treeViewSetRubberBanding treeView' True -- add watcher mi <- tryTakeMVar (inotify myview)