jed-users mailing list

[2007 Date Index] [2007 Thread Index] [Other years]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]

Re: problem with non ascii chars in xjed on kubuntu 7.10


Hallo G.,

"G. Milde" <milde@xxxxxxxxxxxxxxxxxxxxx> wrote:
> On  4.12.07, Jörg Sommer wrote:
>> "G. Milde" <milde@xxxxxxxxxxxxxxxxxxxxx> wrote:
>> > On  1.12.07, Jörg Sommer wrote:
>> >> Try this fix
>> >
>> >> +   dfa_define_highlight_rule("[^ -~]+", "normal", mode);
>> >
>> > What does it do exactly?  
>
>> It assigns a colour to all non???ascii charaters. It seams DFA highlighting
>> has no rule to colour negative characters, what the subcharacters of
>> UTF???8 characters are. 
>
> Interestingly, Guidos latex mode has a rule
>
>   % all the rest
>   dfa_define_highlight_rule (".", "normal", name);

I don't know why. It looks to me that the . matches only ascii 0 or 32 up
to ascii 127, but non‐ascii charaters in UTF‐8 start with an
character >= 128.

Bye, Jörg.
-- 
Ein Narr, er sieht die Weisheit nicht,
selbst wenn sie närrisch zu ihm spricht.

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.


[2007 date index] [2007 thread index]
[Thread Prev] [Thread Next]      [Date Prev] [Date Next]