Message6717

I think it because of property name '-Dpython.console.encoding=UTF-8'.
It is CONSOLE encoding, not output encoding...

Can we add properties python.stdout.encoding and python.stderr.encoding?
Can we then change the code of initialization of the streams?

python.console.encoding - applied when stdout of stderr is a terminal.
python.stdout.encoding - applied when stdout is not a terminal, or when it is terminal but python.console.encoding is not set.
python.stderr.encoding - same as python.stdout.encoding.