diff gui/ui/main.c @ 35001:05d54ab2ba5c

Add check-mark for menu item "Debug Console". That way it is more apparent whether there is a debug console or not. Patch by Stephen Sheldon, sfsheldo gmail com.
author ib
date Wed, 15 Aug 2012 17:22:01 +0000
parents 203d0d5cac1f
children 60930e7347c6
line wrap: on
line diff