updates to the editor configuration are not saved
If the .why3.conf file is not made with --full-config then saving a change to a prover editor in the preferences menu has no impact on the .why3.conf file, and the change is reverted when starting up why3 again.