Community
Participate
Working Groups
I noticed the other day that I had two buttons for marking occurrences in my tool bar. It seems that one of them represents the mark occurrences action that is contributed by IMP, the other represents the mark occurrences action that is contributed with the Java editor. If you switch out of the Java editor (such that no Java editor is active) then the button for the Java mark occurrences action disappears. In contrast, the button for the IMP mark occurrences action stays visible and active even when no IMP editor is active.