6 Nov
2006
6 Nov
'06
12:23 p.m.
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.