fix problem with keyword highlighting ignoring case (issue #913)

This commit is contained in:
benfry
2011-11-29 12:56:35 +00:00
parent 4ee4963fb5
commit 3cc1560dad
2 changed files with 4 additions and 2 deletions

View File

@@ -102,7 +102,7 @@ public class PdeKeywords extends TokenMarker {
*/
public void addColoring(String keyword, String coloring) {
if (keywordColoring == null) {
keywordColoring = new KeywordMap(true);
keywordColoring = new KeywordMap(false);
}
// text will be KEYWORD or LITERAL
boolean isKey = (coloring.charAt(0) == 'K');