Fix missing column numbers in error messages and markers in the editor #4
Description
ArduinoIDE parses error messages from GCC and reconstructs them on output - but failed to bring along column numbers for errors. This is fixed in this PR (and associated build):
We can grab that build (although PR not merged in kosher repo yet) and fix it on our side so that error markers not only point at a line, but also at a column number. Also fix editor UI.