hasufell f0789b59e3 GUI: set window title		2014-10-12 04:23:27 +02:00
..
gtk2.glade	GUI: set window title	2014-10-12 04:23:27 +02:00
Gtk.hs	GUI: don't redraw instantly on scaling point thickness	2014-10-12 03:15:34 +02:00