CDV ❯ disable right margin adornments in eclipse plugin
-
New Feature
-
Status: Closed
-
2 Major
-
Resolution: Fixed
-
Eclipse Plugin
-
-
gkeim
-
Reporter: teck
-
December 21, 2007
-
0
-
Watchers: 0
-
July 27, 2012
-
January 12, 2008
Attachments
Description
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.
Comments
Eugene Kuleshov 2007-12-23
Tim Eck 2008-01-02
I see the preferences you’re describing, but toggling the DSO ones don’t seem to make the adornments go away. Maybe I’m doing it wrong, I’ll talk to gary about it.
Fiona OShea 2008-01-02
After talking to Gary let us know if this is a bug or not (or still a feature request)
Fiona OShea 2008-01-11
Bug or no?
Tim, any of those annotations can be configured and/or disabled from the Window / Preferences… / General / Editors / Text Editors / Annotations preference page.