GTK: add rubberbanding

2015-12-30 02:16:21 +01:00
parent c6efdedf2d
commit ed32961155
1 changed files with 1 additions and 0 deletions
--- 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)