log gui/win32/preferences.c @ 37195:ac6c37d85d65 default tip

age author description
Wed, 12 Mar 2014 13:30:36 +0000 ib Make value explicitly type float.
Sun, 02 Mar 2014 21:10:13 +0000 ib Add VOCTRL_GUISUPPORT.
Tue, 25 Feb 2014 15:16:01 +0000 ib Remove unnecessary casts.
Tue, 25 Feb 2014 13:19:53 +0000 ib Cosmetic: Reformat and adjust indent.
Tue, 25 Feb 2014 13:16:35 +0000 ib Don't set win32 as audio driver if none has been given.
Mon, 24 Feb 2014 15:20:34 +0000 ib Fix bug with Win32 GUI preferences.
Mon, 24 Feb 2014 14:32:28 +0000 ib Fix bug with Win32 GUI preferences.