Theme Editor: accept @ as identifier character, which includes it in selection when double clicking e.g. on @background

This commit is contained in:
Karl Tauber
2022-07-08 17:53:49 +02:00
parent 5cd0b2403c
commit 7437d984c7

View File

@@ -202,6 +202,11 @@ public class FlatThemeTokenMaker
} }
} }
@Override
public boolean isIdentifierChar( int languageIndex, char ch ) {
return super.isIdentifierChar( languageIndex, ch ) || ch == '@';
}
/*debug /*debug
private java.util.HashMap<Integer, String> tokenTypeStrMap; private java.util.HashMap<Integer, String> tokenTypeStrMap;