There is a problem with the colours for the IDE text, everything is orange and all in plain text. If i install the arduino IDE on its own then the colours are how they should be, but when i install the teensy add-on all the colour coding and formatting is gone except all keywords are plain/orange. Any chance this could be fixed? Thank You.