QTfrontend/gameuiconfig.h
Thu, 10 Sep 2009 15:30:11 +0000 nemo And in frontend
Tue, 14 Jul 2009 20:02:07 +0000 koda a lot of stuff:
Sun, 24 May 2009 02:41:34 +0000 nemo Toggle for stars ("frontend effects") - also turns off optimisations for stars that were causing problems onone machine
Fri, 20 Feb 2009 14:12:16 +0000 unc0rr 'Reduce quality' patch by nemo
Fri, 30 Jan 2009 14:56:27 +0000 unc0rr Implement initial sound volume option
Sun, 09 Nov 2008 09:47:10 +0000 unc0rr Add an option to name records with current date and time
Thu, 07 Aug 2008 14:08:43 +0000 displacer correct restoring window size after fullscreen mode
less more (0) -10 -7 tip