hasufell 43f618269d GUI: update version in about dialog		2014-10-12 04:23:16 +02:00
..
gtk2.glade	GUI: update version in about dialog	2014-10-12 04:23:16 +02:00
Gtk.hs	GUI: don't redraw instantly on scaling point thickness	2014-10-12 03:15:34 +02:00