comparison TOOLS/mencvcd.sh @ 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 e193fb0e07e7
children
comparison
equal deleted inserted replaced
36814:b33a9dff0b57 36815:4c44fdd14655