hasufell 9bc0b5e846 GUI: rename the tree window title to 'Tree'		2014-12-01 02:21:25 +01:00
..
gtk2.glade	GUI: rename the tree window title to 'Tree'	2014-12-01 02:21:25 +01:00
Gtk.hs	GUI: fix widget hiding	2014-11-30 00:19:57 +01:00