Highlight several words in different colors simultaneously. (#1238 continued)