Re: [Bug-gnubg] Settings for different instances of gnubg

[Christian Anthon]

I tend to agree with both of you. Having the default settings stored
per user is the proper way to do things. However, GNU backgammon has a
lot of settings and not all of them are very convenient to access.

The following would be easy to implement: A save profile menu point,
which essentially is save settings to a specific file and a profile
selector. That way you can efficiently change a lot of settings in one
go. The user will have to take care not to change settings that he
doesn't want to change (e.g. the MET), but besides that I think that
it is a good idea.

Christian.