From 41f47eea1eaaa705d40caf25ff20d1be67e380ea Mon Sep 17 00:00:00 2001
From: Julian Ospald <hasufell@hasufell.de>
Date: Thu, 17 Dec 2015 16:57:03 +0100
Subject: [PATCH] GTK: Refresh treeview after deletion

---
 src/GUI/Gtk/Gui.hs | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/src/GUI/Gtk/Gui.hs b/src/GUI/Gtk/Gui.hs
index 6f69399..f177416 100644
--- a/src/GUI/Gtk/Gui.hs
+++ b/src/GUI/Gtk/Gui.hs
@@ -217,12 +217,14 @@ onRow fo mygui myview = do
         let fp   = getFullPath dz
             cmsg = "Really delete directory \"" ++ fp ++ "\"?"
         withConfirmationDialog cmsg
-          $ withErrorDialog $ deleteDir fp
+          $ withErrorDialog (deleteDir fp
+                              >> refreshTreeView mygui myview Nothing)
       dz@(File {}, _) -> do
         let fp   = getFullPath dz
             cmsg = "Really delete file \"" ++ fp ++ "\"?"
         withConfirmationDialog cmsg
-          $ withErrorDialog $ deleteFile fp
+          $ withErrorDialog (deleteFile fp
+                              >> refreshTreeView mygui myview Nothing)
 
 
 -- |Go up one directory and visualize it in the treeView.