Correctly print backslash-escaped characters#943

AlbyIanna merged 1 commit intomainarduino/arduino-ide:mainfrom

monitor-tabsarduino/arduino-ide:monitor-tabsCopy head branch name to clipboard