comparison m_option.h @ 36816:790318d7ce23

Don't automatically apply the Win32 GUI preferences' defaults. Just present them and let the user decide whether to apply or to cancel.
author ib
date Sun, 23 Feb 2014 19:35:08 +0000
parents 97446d4850cc
children
comparison
equal deleted inserted replaced
36815:4c44fdd14655 36816:790318d7ce23