GTK: Refresh treeview after deletion
This commit is contained in:
parent
4227921402
commit
41f47eea1e
@ -217,12 +217,14 @@ onRow fo mygui myview = do
|
|||||||
let fp = getFullPath dz
|
let fp = getFullPath dz
|
||||||
cmsg = "Really delete directory \"" ++ fp ++ "\"?"
|
cmsg = "Really delete directory \"" ++ fp ++ "\"?"
|
||||||
withConfirmationDialog cmsg
|
withConfirmationDialog cmsg
|
||||||
$ withErrorDialog $ deleteDir fp
|
$ withErrorDialog (deleteDir fp
|
||||||
|
>> refreshTreeView mygui myview Nothing)
|
||||||
dz@(File {}, _) -> do
|
dz@(File {}, _) -> do
|
||||||
let fp = getFullPath dz
|
let fp = getFullPath dz
|
||||||
cmsg = "Really delete file \"" ++ fp ++ "\"?"
|
cmsg = "Really delete file \"" ++ fp ++ "\"?"
|
||||||
withConfirmationDialog cmsg
|
withConfirmationDialog cmsg
|
||||||
$ withErrorDialog $ deleteFile fp
|
$ withErrorDialog (deleteFile fp
|
||||||
|
>> refreshTreeView mygui myview Nothing)
|
||||||
|
|
||||||
|
|
||||||
-- |Go up one directory and visualize it in the treeView.
|
-- |Go up one directory and visualize it in the treeView.
|
||||||
|
Loading…
Reference in New Issue
Block a user