Theme Editor: fixed typo

This commit is contained in:
Karl Tauber
2020-07-10 10:54:09 +02:00
parent 6662714277
commit dc18c8178d

View File

@@ -58,7 +58,7 @@ class FlatOccurrenceMarker
// make a copy of the token because it is overwritten in getTokenListForLine()
Token t2 = new TokenImpl( t );
// check whether token occurres more than once
// check whether token occurs more than once
boolean mark = false;
for( int i = 0; i < lineCount && !mark; i++ ) {
Token temp = doc.getTokenListForLine( i );