Julian Ospald
|
322c766ae5
|
Update freeze file
|
4 years ago |
Julian Ospald
|
9370bb4e02
|
Update installation method and bump deps
|
4 years ago |
Julian Ospald
|
68435e140d
|
Update to GHC-8.6.4
|
5 years ago |
Julian Ospald
|
cb2d0245a8
|
Update .gitignore
|
5 years ago |
Julian Ospald
|
52567888ec
|
Update .gitignore
|
5 years ago |
Julian Ospald
|
09e6729e11
|
Update freeze file
|
5 years ago |
Julian Ospald
|
e4f642318e
|
Add cabal.project with high optimization settings
|
5 years ago |
Julian Ospald
|
2c36c39404
|
Remove stack.yaml, because stack sucks
|
5 years ago |
Julian Ospald
|
0e8f6735c5
|
Add cabal.project.freeze
|
5 years ago |
Julian Ospald
|
111581ef02
|
Remove last remnants of OverloadedStrings
|
5 years ago |
Julian Ospald
|
0f247d55ab
|
Update .gitignore
|
5 years ago |
Julian Ospald
|
d31a7dc172
|
Add stack.yaml
|
5 years ago |
Julian Ospald
|
1f4d35bcb1
|
Fix build with Cabal-2.2.0
|
5 years ago |
Julian Ospald
|
10fc3155da
|
Update travis
|
6 years ago |
Julian Ospald
|
0ce029de57
|
Fix build with Cabal<2
|
6 years ago |
Julian Ospald
|
1953b152b4
|
Fix build
|
6 years ago |
Julian Ospald
|
3cd7a246ab
|
Fix build with latest hpath library
This also touches some exception handling code, be careful.
|
6 years ago |
Julian Ospald
|
6ff620d4ae
|
Fix some compiler warnings
The Plugin module is supposed to be extendable so
there will be unused imports on purpose.
|
6 years ago |
Julian Ospald
|
93369900f8
|
Update for GHC-8.2.2
|
6 years ago |
Julian Ospald
|
7f5adf7962
|
GTK: cleanup obsolete widgets
|
7 years ago |
Julian Ospald
|
0d38c8fafc
|
README: update image
|
7 years ago |
Julian Ospald
|
e2bf4d5f03
|
GTK: have two panels, fixes #52
|
7 years ago |
Julian Ospald
|
b495b3e89f
|
README: Use http link
|
7 years ago |
Julian Ospald
|
df0b5e3e16
|
LIB/GTK: cleanup
|
7 years ago |
Julian Ospald
|
369278e734
|
GTK: cosmetics, docs
|
7 years ago |
Julian Ospald
|
e3a840b051
|
GTK: refactor plugins to allow filtering the items
|
7 years ago |
Julian Ospald
|
841757857a
|
GTK: rename diffPlugin to diffItem
|
7 years ago |
Julian Ospald
|
a9238ab3d1
|
GTK: first take on Plugins system
|
7 years ago |
Julian Ospald
|
eb99c6fc43
|
Small internal doc fix
|
7 years ago |
Julian Ospald
|
89710d9d1a
|
Add Settings modules wrt #22
|
7 years ago |
Julian Ospald
|
f6ec802898
|
README: update image
|
7 years ago |
Julian Ospald
|
64fb9fbea0
|
Use new hpath API
|
7 years ago |
Julian Ospald
|
46334687c9
|
GTK: only show stock icons, not labels
|
7 years ago |
Julian Ospald
|
8ec925aa8f
|
GTK: improve sections
|
7 years ago |
Julian Ospald
|
48b0b7b1d8
|
GTK: overhaul history feature
Allowing righ-click menu.
|
7 years ago |
Julian Ospald
|
05a62cb382
|
GTK: use new History module
|
7 years ago |
Julian Ospald
|
d904b74629
|
LIB: add History module
|
7 years ago |
Julian Ospald
|
7998ea33de
|
GTK: fix umlaut in error dialogs
|
7 years ago |
Julian Ospald
|
1fec2983bd
|
GTK: fix closing tabs via [Control]+w when tab was switched
|
7 years ago |
Julian Ospald
|
e4bb5104e8
|
GTK: fix opening non-readable directory as tab
|
7 years ago |
Julian Ospald
|
3e4621fe70
|
GTK: add "New -> Terminal" to right-click menu
|
7 years ago |
Julian Ospald
|
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.
|
7 years ago |
Julian Ospald
|
e72bff4180
|
GTK: fix switchView
|
7 years ago |
Julian Ospald
|
e310879d61
|
GTK: add newTab{,Here} buttons and allow closing tabs via middle-click
This also fixes behavior of destroyView.
|
7 years ago |
Julian Ospald
|
03fbae7999
|
LIB: fix build with GHC-7.10
|
7 years ago |
Julian Ospald
|
da2c7f8e8b
|
CABAL: raise hpath constraint
|
7 years ago |
Julian Ospald
|
dba15d43e1
|
LIB: add type signatures to pattern synonyms
|
7 years ago |
Julian Ospald
|
5b749417c5
|
CABAL: relax Cabal version constraint
|
7 years ago |
Julian Ospald
|
d460b4ce11
|
LIB: simplify error handling in FileType
We don't have a Failed constructor anymore.
|
7 years ago |
Julian Ospald
|
244a58d8c2
|
GTK: refactor refreshView a bit
|
7 years ago |