[Freeciv-Dev] Re: (PR#7255) options aren't saved by default

["Morgan Jones" <morgan.jones@xxxxxxxxxxxxxxx>]

<URL: http://rt.freeciv.org/Ticket/Display.html?id=7255 >

> <URL: http://rt.freeciv.org/Ticket/Display.html?id=7255 >
> 
> Unless you choose "save options" from the menu your options are not 
> saved by default.
> 
> Seems to me they should be saved automatically when you exit. If
> desired a "revert" menu option can be provided to re-load the
> original options (thus avoiding saving them).
> 
> jason
> 
I think the best thing to do would be to add a "Save Settings on Exit"
entry in the menu which can be switched on or off depending on the
user's preference.

And a 'Restore Settings' wouldn't hurt either.

     -Morgan