hasufell 7a73ea7a1d GUI: correct window title to CG2		2014-10-12 15:14:26 +02:00
..
gtk2.glade	GUI: correct window title to CG2	2014-10-12 15:14:26 +02:00
Gtk.hs	GUI: don't redraw instantly on scaling point thickness	2014-10-12 03:15:34 +02:00