Re: [ jEdit-users ] Bug? Can you confirm it? (was Encoding autodetection for ... Python?)

[Matthieu C. <cho...@gm...>]

2007/1/31, Slava Pestov <sl...@fa...>:
>
>
> On 31-Jan-07, at 4:53 AM, Petr Prikryl wrote:
>
> > ----------------------------------------
> > :encoding=windows-1250:
>
> I wonder where people get the idea that this works. 'encoding' is not
> a buffer-local property and it cannot be set in this way, and the
> documentation does not mention it.
>
> Don't do this.
>
> Slava
>
>
Hi, it is not used to load the buffer, but if you put an
:encoding=windows-1250:
jEdit will read that and change the encoding of the buffer (it can be
seen in the status bar).
In fact why not reading that to choose the encoding like it is done for the
xml encoding detection ?

Matthieu