>>>>> "Michael" == Michael Schmitt <[EMAIL PROTECTED]> writes:
>> Well, for the other font buttons, we force toggling (bold, etc)
>> because this makes sense. Are you saying that we should the
>> freefont stuff so that it works exactly like the popup? This seems
>> sensible.
Michael> Yes, definitely!!! This is what the user manual implies. And
Michael> I can see no reason why free-font should behave differently
Michael> from the popup. In particular, as it relies on the settings
Michael> in the popup (to a certain extend, at least).
As far as I can see this is the case now for 1.2.0cvs, where the
character popup has been moved to GUI-I land. I do not know how easy
this would be for 1.1.6.
>> And what shall we do about size? Disallow toggling as the popup
>> says or change the popup?
Michael> Well, I have no opinion on that. Just make it consistent. As
Michael> I have pointed out before, a typical application of the
Michael> character dialog is to change the font size of a large
Michael> section of text. In this case, I don't want the text size to
Michael> toggle (there might the case, that the user has changed the
Michael> size for some portion of the text; then the the size
Michael> shouldn't be toggled).
I'll disallow the toggling, since this is easier :)
JMarc
