>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Wed, Sep 11, 2002 at 12:41:28PM +0200, Jean-Marc Lasgouttes John> wrote: >> I which sense is it better than >> >> Blah de blah blah de blah <switch font on>blah blah blah<switch >> font off, using the _same_ binding as before because we toggle> >> dsmfkldsmf mfsdflkme >> >> Your solution forces to use different bindings and I think is less >> useful as what we have currently. John> I don't understand. What bindings are these ? toggle-font for switch on and cursor-right to switch off. Whereas you can just use toggle-font twice. JMarc
