NEW - bug 268: GotoMatchingParen markers override ShowUses markers  https://bugzilla.tlaplus.net/show_bug.cgi?id=268 - Use unique keys for colors, text, highlight and overviewRuler
NEW - bug 268: GotoMatchingParen markers override ShowUses markers 
https://bugzilla.tlaplus.net/show_bug.cgi?id=268
- Use unique keys for colors, text, highlight and overviewRuler

git-svn-id: 7acc490bd371dbc82047a939b87dc892fdc31f59@25864 76a6fc44-f60b-0410-a9a8-e67b0e8fc65c

tlaplus/tlaplus,lemmy/tlaplus,lemmy/tlaplus,lemmy/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,tlaplus/tlaplus,lemmy/tlaplus