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

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hallo Joachim,

Joachim Schmitz <js@xxxxxxxxxxxxx> wrote:
> Jörg Sommer schrieb:
>> Joachim Schmitz <js@xxxxxxxxxxxxx> wrote:
>>> Jörg Sommer schrieb:
>>>> Joachim Schmitz <js@xxxxxxxxxxxxx> wrote:
>>>>> I am using xjed 0.99.18U on kubuntu 7.10. for editing for example python 
>>>>> source code. Whenever I enter an umlaut-char like 'ü', I get <C3><BC>,
>>>>> which is, I assume the utf8 representation of 'ü'. What settings do I 
>>>>> have to change to get 'ü' in the source.
>>>> Where does this happen? Can you post an example? I don't see this
>>>> problem.
>>> Just as I said, when editing any ascii-textfile
>> 
>> Above you said it is a python file.
>> 
> Sorry, yes I noticed it first when editint a python-file, and I must 
> correct me it does not happen if I just do xjed test.txt.
>
> It does happen, if I do xjed test.py. I am using pymode.sl from the 
> jedmodes csv-repository.

Thank you for being so helpful to provide a list of the steps you did. In
comments and string, where I expected the problem at first, I couldn't
reproduce it.

Try this fix—a person familiar with Python syntax might write a better
one—and don't forget to remove the dfa cache:
diff --git a/pymode/pymode.sl b/pymode/pymode.sl
index 32abdee..927533d 100644
--- a/pymode/pymode.sl
+++ b/pymode/pymode.sl
@@ -1382,6 +1382,7 @@ static define setup_dfa_callback(mode)
    dfa_define_highlight_rule("^\t+ +[^ \t#]", "error", mode);
    % Flag quote with trailing whitespace at eol
    dfa_define_highlight_rule("\\[ \t]$"R, "error", mode);
+   dfa_define_highlight_rule("[^ -~]+", "normal", mode);
    dfa_build_highlight_table(mode);
 }
 dfa_set_init_callback(&setup_dfa_callback, mode);

Bye, Jörg.
-- 
< Mr X.> jo: contact an admin to mount it for you
< jo> The admin is not, well how should I say it, he isn't very familiar with
      the system. What should I tell my admin, what he should do?
< Mr X.> taking a sun solaris administration course.

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