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