hasufell 84bfeb27e0 GUI: hide the tree window if a different algo is chosen		2014-11-16 00:29:07 +01:00
..
Gtk.hs	GUI: hide the tree window if a different algo is chosen	2014-11-16 00:29:07 +01:00
gtk2.glade	GUI: fix window title of QuadTree window	2014-11-15 15:35:35 +01:00