Karl Tauber 4777bdd250 Theme Editor: do not mark token at caret if it does not occur elsewhere

2020-04-05 15:23:40 +02:00

..

src/main

Theme Editor: do not mark token at caret if it does not occur elsewhere

2020-04-05 15:23:40 +02:00

build.gradle.kts

Theme Editor: initial commit

2020-04-04 14:13:20 +02:00

theme-editor-test.properties

Theme Editor: added token maker (based on .properties token maker)

2020-04-04 23:32:48 +02:00