hasufell 84bfeb27e0 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

Gtk.hs

GUI: hide the tree window if a different algo is chosen

2014-11-16 00:29:07 +01:00