diff configure @ 36723:d115f34f2f23

Show message box only if necessary. Don't show it when entering the preferences, but when confirming new preferences. This is less annoying. Additionally, rename control variable.
author ib
date Sun, 09 Feb 2014 17:53:28 +0000
parents f41b65ac7e81
children 670fa1f8f7c6
line wrap: on
line diff