Don't pass multiple copies of identical type name to scintilla for colorization
commitd1a5ceac424158218d585f8a34e527a537c17e5e
authorJiří Techet <techet@gmail.com>
Sat, 13 Feb 2016 01:00:30 +0000 (13 02:00 +0100)
committerJiří Techet <techet@gmail.com>
Fri, 26 Feb 2016 00:10:00 +0000 (26 01:10 +0100)
treed6cb84e1ca648b9271c28361977cbc0a0c77baec
parentcb307e5b92479ce984aff01b106b1bdad346c0e8
Don't pass multiple copies of identical type name to scintilla for colorization

For instance for the boost library this makes the resulting string passed
to scintilla 6x shorter. Because scintilla goes through this list more
or less linearly for every single word in the document, this can bring
significant reductions of time spent when recolorizing.
src/symbols.c