diff gui/win32/preferences.c @ 35002:64d72a128ea8

Rewrite condition and use console_state instead of console. Although - currently - both variables are the same, it's console_state which reflects the current state of the debug console.
author ib
date Wed, 15 Aug 2012 17:46:38 +0000
parents b74a8e55c632
children 7bb176fac55c
line wrap: on
line diff