Don't edit config if it is not different from the current value (even if that current value comes from the default)
Improve the appearance of the Swing menus