disable right margin adornments in eclipse plugin
-------------------------------------------------
Key: CDV-568
URL: https://jira.terracotta.org/jira//browse/CDV-568
Project: Community Development
Issue Type: New Feature
Components: Eclipse Plugin
Affects Versions: 2.5.0
Reporter: Tim Eck
Assignee: Issue Review Board
Attachments: eclipse.PNG
maybe it's just me, but I would appreciate a way to turn off the little yellow
thingies in the right margin of the source editor. It's fine to leave them on
by default, but they are too close to the standard warning adornment in that
area and it annoys me.
--
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators:
https://jira.terracotta.org/jira//secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira
_______________________________________________
tc-dev mailing list
[email protected]
http://lists.terracotta.org/mailman/listinfo/tc-dev
