Select encoding in the serial monitor

While writing reply #16 on this thread, concerning how to get a degree symbol out of an Arduino, I noticed that the serial monitor in the IDE doesn't have a way to select encoding.

On my Mac, it appears to be UTF-8, but it would be nice to be able to set it explicitly for situations such as when your LCD or other output device uses a particular encoding. Java comes with encodings that you can list with

Charset.availableCharsets()

,

so providing a combo box on the serial monitor window should be straightforward.

The discussion here may be relevant: Is it possible to make Serial.print() -and "Serial monitor"- compatible with UTF-8? · Issue #2519 · arduino/Arduino · GitHub

The serial monitor doesn't correctly support UTF-8 this is an unresolved issue, it may seems to work but it doesn't, a timing issue exists,

I have implemented this and done a pull request in GitHub. Open source! Yay!