@Pert: OK, I turned ClearType back on and recalibrated it according to my own viewing pleasure 
... and guess what... it now works perfectly with the Arduino IDE. I have seen strange things in my live, but this is really really strange...
@Pert: OK, I turned ClearType back on and recalibrated it according to my own viewing pleasure ... and guess what... it now works perfectly with the Arduino IDE. I have seen strange things in my live, but this is really really strange...