comparison Makefile @ 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 c6843e5bf166
children 89c6bf8bea6b
comparison
equal deleted inserted replaced
36814:b33a9dff0b57 36815:4c44fdd14655