scala-ide/scala-ide — pull request #299 by skyluc (2013-02-07 13:42:50+00:00)
Title: Added a Scala preference for Mark Occurrences

Added a toolbar button for quick access.
Fixes #1001466

I also extracted the common code in toggle handlers.