Description sidhartha 2011-01-19 01:21:34 EST

Build Identifier: I20100608-0911

After a opening a html file in HTML editor, adding or removing contents into the file makes file dirty. which can be seen as * mark in the editor tab. after the doing the undo operation, the changes gets reverted. but the editor still shows the file to be dirty. this is not the case with java editor.

Reproducible: Always

Steps to Reproduce:
1. Open any html file in HTML editor (say abc.html)
2. add a single space to the editor
3. observer the file is dirty on the editor (showing abc.html*)
4. do undo via CTRL + Z, 
5. still the file remains dirty.