diff libmenu/menu_pt.c @ 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 b28f3ff37ae7
children
line wrap: on
line diff