Allan Odgaard <throw-away-1@...> writes:
On 6. Nov 2006, at 12:40, guerom00 wrote:
[...] But if I save this same file in ISO-8859-1 and use the “Run” command once again, I still have “195 169” whereas I should have “233” (representation of é in ISO-8859-1).
The command takes the document as stdin, and runs that through PHP, and stdin is always UTF-8.
You would have to change the command to use a file name, if you need it to use the encoding of your file, but then you lose the ability to run untitled documents.
Thanks Allan. I don't think I want to bother… It was really an exceptional case based on the encoding…