52567888ec
Update .gitignore
2018-09-23 23:28:51 +08:00
09e6729e11
Update freeze file
2018-09-23 23:24:05 +08:00
e4f642318e
Add cabal.project with high optimization settings
2018-09-23 23:23:53 +08:00
2c36c39404
Remove stack.yaml, because stack sucks
2018-09-21 22:09:55 +08:00
0e8f6735c5
Add cabal.project.freeze
2018-09-21 22:09:32 +08:00
111581ef02
Remove last remnants of OverloadedStrings
2018-07-17 21:55:24 +08:00
0f247d55ab
Update .gitignore
2018-07-17 21:34:38 +08:00
d31a7dc172
Add stack.yaml
2018-07-17 21:34:37 +08:00
1f4d35bcb1
Fix build with Cabal-2.2.0
2018-07-17 21:34:32 +08:00
10fc3155da
Update travis
2018-05-19 15:17:51 +02:00
0ce029de57
Fix build with Cabal<2
2018-05-19 14:04:27 +02:00
1953b152b4
Fix build
2018-05-19 11:41:51 +02:00
3cd7a246ab
Fix build with latest hpath library
...
This also touches some exception handling code, be careful.
2018-05-17 11:42:36 +02:00
6ff620d4ae
Fix some compiler warnings
...
The Plugin module is supposed to be extendable so
there will be unused imports on purpose.
2018-02-06 00:59:50 +01:00
Julian Ospald
93369900f8
Update for GHC-8.2.2
2017-12-13 23:33:34 +01:00
7f5adf7962
GTK: cleanup obsolete widgets
2016-11-06 01:54:45 +01:00
0d38c8fafc
README: update image
2016-11-06 01:40:39 +01:00
e2bf4d5f03
GTK: have two panels, fixes #52
2016-11-06 01:33:03 +01:00
b495b3e89f
README: Use http link
2016-09-26 23:18:29 +02:00
df0b5e3e16
LIB/GTK: cleanup
2016-06-12 23:40:55 +02:00
369278e734
GTK: cosmetics, docs
2016-06-08 21:39:55 +02:00
e3a840b051
GTK: refactor plugins to allow filtering the items
2016-06-08 21:36:36 +02:00
841757857a
GTK: rename diffPlugin to diffItem
2016-06-08 18:37:01 +02:00
a9238ab3d1
GTK: first take on Plugins system
2016-06-08 18:23:20 +02:00
eb99c6fc43
Small internal doc fix
2016-06-07 20:08:20 +02:00
89710d9d1a
Add Settings modules wrt #22
2016-06-07 20:07:16 +02:00
f6ec802898
README: update image
2016-06-05 19:46:00 +02:00
64fb9fbea0
Use new hpath API
2016-06-05 17:58:50 +02:00
46334687c9
GTK: only show stock icons, not labels
2016-06-04 19:10:24 +02:00
8ec925aa8f
GTK: improve sections
2016-06-04 19:09:56 +02:00
48b0b7b1d8
GTK: overhaul history feature
...
Allowing righ-click menu.
2016-06-04 18:58:33 +02:00
05a62cb382
GTK: use new History module
2016-06-04 17:28:15 +02:00
d904b74629
LIB: add History module
2016-06-04 17:28:04 +02:00
7998ea33de
GTK: fix umlaut in error dialogs
2016-06-03 23:54:39 +02:00
1fec2983bd
GTK: fix closing tabs via [Control]+w when tab was switched
2016-06-03 22:34:49 +02:00
e4bb5104e8
GTK: fix opening non-readable directory as tab
2016-06-03 14:46:23 +02:00
3e4621fe70
GTK: add "New -> Terminal" to right-click menu
2016-06-03 14:42:28 +02:00
077ac81227
GTK: improve tab opening
...
When multiple folders are selected, a regular 'open' will
open new tabs for each of them without changing the current view.
2016-06-03 14:25:17 +02:00
e72bff4180
GTK: fix switchView
2016-06-03 14:06:18 +02:00
e310879d61
GTK: add newTab{,Here} buttons and allow closing tabs via middle-click
...
This also fixes behavior of destroyView.
2016-06-03 13:44:59 +02:00
03fbae7999
LIB: fix build with GHC-7.10
2016-06-02 15:00:09 +02:00
da2c7f8e8b
CABAL: raise hpath constraint
2016-06-02 13:56:21 +02:00
dba15d43e1
LIB: add type signatures to pattern synonyms
2016-06-02 13:50:08 +02:00
5b749417c5
CABAL: relax Cabal version constraint
2016-06-02 13:45:57 +02:00
d460b4ce11
LIB: simplify error handling in FileType
...
We don't have a Failed constructor anymore.
2016-06-02 13:44:47 +02:00
244a58d8c2
GTK: refactor refreshView a bit
2016-06-01 23:58:34 +02:00
89b231a2c9
GTK: fix various glitches when opening tabs
2016-06-01 23:24:00 +02:00
d14caf5269
GTK: don't allow new-tab middle-click on non-directories
2016-06-01 22:26:32 +02:00
9549b40745
GTK: implement newTab on middle-click
2016-06-01 22:02:18 +02:00
01c241a01e
GTK: remove tab label side-effect from refreshView'
...
This would cause bugs when newtab on middle-click is implemented,
since creating a new tab creates also a new view, but doesn't
change the current tab to that view. refreshView' would then
update that view with the information from the wrong tab.
2016-06-01 22:00:37 +02:00
