[
https://issues.jboss.org/browse/JBIDE-12319?page=com.atlassian.jira.plugi...
]
Alexey Kazakov commented on JBIDE-12319:
----------------------------------------
I agree with Victor. The last use case is not critical. Let's fix only the first one.
As you type does not restore marker state when editor is returned to
unmodified stade by Undo/Redo actions
----------------------------------------------------------------------------------------------------------
Key: JBIDE-12319
URL:
https://issues.jboss.org/browse/JBIDE-12319
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: common/jst/core
Affects Versions: 3.4.0.M1
Reporter: Viacheslav Kabanovich
Assignee: Victor Rubezhny
Fix For: 3.4.0.M1
Attachments: InappropriateTemporaryMarker.png
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators:
https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see:
http://www.atlassian.com/software/jira