5bcbbcc69c
LIB: overhaul file operations and improve overall performance
...
This introduces a lot of changes and uses a more solid
file copy operation.
2016-04-10 03:58:20 +02:00
1be8984162
GTK: fixup withCopyModeDialog
...
By adding a more specialized showRenameDialog function
and also cleaning up the responses/return values for
showCopyModeDialog.
2016-04-09 17:38:38 +02:00
44a90574e8
LIB/GTK: add convenient renaming capabilities on file copy/move
2016-04-09 17:25:14 +02:00
0e226d61ec
GTK: fix right-click when multiple files are selected
...
If the right click happens on an item that is already selected,
don't pass on the signal so the selection which may span across
multiple files is kept.
Otherwise, pass on the signal which means the item under the cursor
will be selected.
This currently misbehaves (as in: doesn't work) with IconView
properly.
2016-04-09 16:26:12 +02:00
478ffa0e98
LIB/GTK: implement copy/move/delete for multiple files
2016-04-09 15:15:58 +02:00
bad817d32d
LIB/GTK: use ByteString instead of String for
2016-04-05 00:56:36 +02:00
b6342068f2
GTK: cleanup refreshView a bit
...
This moves some of the parsing logic where it belong, into Gtk.hs
and fixes the type to be proper 'Path Abs'.
2016-04-03 04:13:08 +02:00
0781fc690d
LIB/GTK: improve documentation
2016-04-03 03:57:35 +02:00
4da3c92e5e
LIB/GTK: cleanup compiler warnings
2016-03-31 16:19:31 +02:00
65595fa9c5
LIB/GTK: refactor HSFM.FileSystem.Error to use Path type
2016-03-31 15:49:35 +02:00
51abfb1dce
GTK: fix spelling
2016-03-31 02:44:44 +02:00
2d447a05da
GTK: improve error handling in refreshView'
...
This could theoretically lead to infinite recursion, but only
in case "/" is inaccessible or something. In which case the user
has really bigger problems.
2016-03-31 02:44:10 +02:00
a2e6ced69a
GTK: improve error handling on invalid paths
...
Fixes #28
2016-03-31 02:29:16 +02:00
dd013b7d7b
Fix Copyright
2016-03-31 00:28:23 +02:00
5e232e3d4a
LIB/GTK: use fullPathS
2016-03-31 00:25:03 +02:00
74a48b2668
Restructure module layout
2016-03-30 20:16:34 +02:00
