On Mon, Feb 25, 2008 at 7:09 AM, Paul Mackerras [off-list ref] wrote:

martin f krafft writes:

 > May I suggest that such a patch actually disables writing of the
 > config file, so that we won't get conflicts every time you sync
 > config files via home-in-git?

 Then various other bits of config won't be persistent, such as font
 settings.  So I don't think that's a good idea.

 It would be possible to make the config file be per-repository rather
 than global, I guess, if that is something people want.  I personally
 would find it annoying to have to change the font separately in each
 repository, but tastes differ, I guess.

 Paul.

Two things we could do:

1) Add a "save config now" button and a "save config on exit"
checkbox/option to the options dialog.
2) Perform a screen geometry check at load time to see if the corners
of the main window would be visible before applying the main window
geometry.

Mark