Community
Participate
Working Groups
If you make a change to a file, and then undo that change, the file remains marked as dirty/changed (asterisk in front of file name in tab).
fixed in head
Verified fixed. Kalin Yanev kalin.a@zend.com