Julian Ospald 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
..
FileSystem	LIB: fix build with GHC-7.10	2016-06-02 15:00:09 +02:00
GUI	GTK: add newTab{,Here} buttons and allow closing tabs via middle-click	2016-06-03 13:44:59 +02:00
Utils	Adjust to new HPath API	2016-05-09 16:37:02 +02:00