On Mon, Feb 25, 2008 at 7:09 AM, Paul Mackerras <paulus@xxxxxxxxx> 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 - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
