#51 Mark Occurrences editor feature

closed
nobody
None
5
2006-08-23
2006-04-25
Jan Ploski
No

(Proposed by Katrin Dust:)
Mark all occurrences of an element (e.g. a variable) in
the editor whenever a caret is moved into it. This
should behave just like the Mark Occurrences feature of
the Java editor. A preference to enable/disable this
feature should be added as well.

Discussion

  • Jan Ploski
    Jan Ploski
    2006-04-25

    Logged In: YES
    user_id=86907

    Implemented in CVS by Katrin.

     
  • Jan Ploski
    Jan Ploski
    2006-08-23

    • status: open --> closed