mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
parent
5cebf99de5
commit
f4cd50b8ac
@ -98,7 +98,7 @@ public class PdeKeywords extends CTokenMarker {
|
||||
//String htmlFilename = second.substring(tab + 1).trim();
|
||||
String coloring = pieces[1].trim();
|
||||
|
||||
if (coloring.length() > 0) {
|
||||
if (coloring.length() > 0 && Character.isDigit(coloring.charAt(coloring.length() - 1))) {
|
||||
// text will be KEYWORD or LITERAL
|
||||
boolean isKey = (coloring.charAt(0) == 'K');
|
||||
// KEYWORD1 -> 0, KEYWORD2 -> 1, etc
|
||||
|
Loading…
x
Reference in New Issue
Block a user