OccurrenceHighlighter plugin: Difference between revisions
From Code::Blocks
Created page with "Category:Code::Blocks 3rd Party Plugins {{Infobox_Plugin| name = OccurrenceHighlighter | logo = File:Generic-plugin.png | developer = Danselmi | maintainer = | ..." |
mNo edit summary |
||
| Line 3: | Line 3: | ||
name = OccurrenceHighlighter | | name = OccurrenceHighlighter | | ||
logo = [[File:Generic-plugin.png]] | | logo = [[File:Generic-plugin.png]] | | ||
developer = | developer = Daniel Anselmi | | ||
maintainer = | | maintainer = | | ||
version = | version = | ||
| Line 10: | Line 10: | ||
See the [/index.php/topic,12569.msg85128.html#msg85128 forums] discussion. | See the [/index.php/topic,12569.msg85128.html#msg85128 forums] discussion. | ||
This plugin highlights occurrences "permanently" (''right click->Permanently Highlight 'xy'''). It highlights all | This plugin highlights occurrences "permanently" (''right click->Permanently Highlight 'xy'''). It highlights all occurrences from the list with the same color in all editors. | ||
Revision as of 20:59, 5 September 2011
OccurrenceHighlighter
| Developer(s): | Daniel Anselmi |
| Maintainer(s): | |
| Version: |
See the [/index.php/topic,12569.msg85128.html#msg85128 forums] discussion.
This plugin highlights occurrences "permanently" (right click->Permanently Highlight 'xy'). It highlights all occurrences from the list with the same color in all editors.
