> > >> The preference does not get saved, does it? >> >> Do we want to save? >> >> This is an on-going discussion between me and me. This is not only an >> issue for the continuous spellchecking, but also for the zoom-in/out >> feature. The annoying thing at the moment is that when you change >> something in the preferences, and save the preferences, you also save >> the current zooming scale and the continuous spellchecking setting. If >> you're not aware of this, the behaviour seems to be unpredictable. >> If we're going to save it, then we have to take care of not saving the >> other preferences (one can explicitly change a preference and *not* save >> it), and I don't know what the added value of the setting in the >> Preferences dialog then is. Besides this, it also makes sense to define >> a "default zooming scale", and not to save the scale everytime the user >> zooms in or out. >> > > I would say that this possibility of changing a pref without saving it is > more confusing than helpful. I would be for a simple system where all prefs > are remembered. If zoom is a particular problem, we could have a > GuiView::zoom member that is initialized from lyxrc at the beginning and > the zoom pref would be renamed to 'default zoom'. > > So the rule would be: everything in lyxrc is automatically saved. The > other settings should live elsewhere. >
However, as I said, in the preferences dialog you can change settings, but then choose *not* to save it, so this would violate the rule. Also we would need to be able to only save a particular setting. And we can choose to have a default state for continuous spellchecking, or to remove the continuous spellchecking from the preferences. Vincent