Arduino IDE 1.5 - known issues from 1.0.1 still not resolved

It is also documented in the Arduino issues list here:
http://code.google.com/p/arduino/issues/detail?id=200