#1210 Fixed highlighting of non-unicode chars in Output by kittaakos · Pull Request #1375 · arduino/arduino-ide