#84 [Editor] option to switch off Mark-Occurrences

open
nobody
Feature (28)
5
2012-12-06
2008-03-24
No

Some people don't like it, and (more important) it seems to make the IDE on big source files.

Discussion

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks