ystrot/glance — Issue #10: Multiple highlights
Author: ystrot
Created: 2012-01-29 13:48:45+00:00
State: open

Moved from http://code.google.com/p/eclipse-glance/issues/detail?id=15

I see this feature in the plugin "highlight" to jedit.
I am looking for a plugin that does this for some time.