>>>>> "John" == John Levon <[EMAIL PROTECTED]> writes:
John> On Sat, Sep 07, 2002 at 08:10:42PM +0300, Dekel Tsur wrote:
>> By the way, it is easy to modify the code so in places where the
>> font change, the user will be able to put the cursor either before
>> the change or after the change (namely, in a\emph{b} the user will
>> be able to put the cursor after the a - outside of the \emph, or
>> before the b - inside the \emph). The code is already there, but it
>> is used only when the fonts differ in the directions (LTR/RTL) of
>> their languages. The downside of having this behavior for all font
>> changes is the need for additional key presses when moving the
>> cursor.
John> I would prefer this to happen but ONLY at the end of a
John> paragraph. Why ? Because I can do this :
John> Blah de blah blah de blah <switch font on>blah blah blah<just
John> press right to move to the default font I was in previous>
John> dsmfkldsmf mfsdflkme
John> Which is super handy !
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.
JMarc
