GTK: add refresh button

src/GUI/Gtk.hs

@@ -207,6 +207,8 @@ startMainWindow startdir = do
                        "rcFilePaste"
   rcFileDelete      <- builderGetObject builder castToImageMenuItem
                        "rcFileDelete"
+  refreshView       <- builderGetObject builder castToButton
+                       "refreshView"
 
   -- create initial list store model with unsorted data
   rawModel <- newTVarIO =<< listStoreNew

src/GUI/Gtk/Callbacks.hs

@@ -111,6 +111,10 @@ setCallbacks mygui myview = do
     "v"       <- fmap glibToString eventKeyName
     liftIO $ operationFinal mygui myview
 
+  _ <- refreshView mygui `on` buttonActivated $ do
+       cdir <- liftIO $ getCurrentDir myview
+       refreshTreeView' mygui myview cdir
+
   -- menubar-file
   _ <- menubarFileQuit mygui `on` menuItemActivated $ mainQuit
   _ <- menubarFileOpen mygui `on` menuItemActivated $

src/GUI/Gtk/Data.hs

@@ -63,6 +63,7 @@ data MyGUI = MkMyGUI {
   , rcFileMove :: ImageMenuItem
   , rcFilePaste :: ImageMenuItem
   , rcFileDelete :: ImageMenuItem
+  , refreshView :: Button
   , urlBar :: Entry
   , statusBar :: Statusbar
   , treeView :: TreeView