diff mp_global.h @ 36815:4c44fdd14655

Fix issue with Win32 GUI default preferences. Don't (mis)use option variables to set defaults (and then don't use them when actually setting the defaults in the preferences dialog). Set them directly (and correctly) instead, and use proper symbolic constants.
author ib
date Sun, 23 Feb 2014 19:33:46 +0000
parents 850a3272e10d
children
line wrap: on
line diff