No, the fix did not make it to our existing milestone builds becuase of an oversight. It has been since “enhanced” and will make it to the upcoming milestone for sure, sorry about that.
Here is a suggested workaround for the most common cause of this bug:
a) Before opening the file you intend to edit, make sure the Properties View is Open and On Top. Thereafter you can keep another view on top, but make sure the Properties View is never closed.
b) The above should work for you, but if it does not, keep your file open throught your editing session. Do not close and re-open it for a given Eclipse session, becuase the bug most commonly reproduces only for the 2nd and subsequent times you open the file. The first time you open the file, everything is fine, regardless of whether you follow step a above.
If the above don’t work for you, please let us know.
Sorry for the inconvenience caused, the problem has already been fixed internally and will make 4.0 M3.