Don't save settings file if the settings haven't changed. Call SetMenuBar(None) to work around bug in wxGTK.
Don't save settings file if the settings haven't changed.
Call SetMenuBar(None) to work around bug in wxGTK.

shaurz/devo