| commit | c5cd4952e8aa14027e66e7f2a912c1cd6c7fceca | [log] [tgz] |
|---|---|---|
| author | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Aug 14 23:19:29 2022 +0200 |
| committer | Stephan Herrmann <stephan.herrmann@berlin.de> | Sun Aug 14 23:19:29 2022 +0200 |
| tree | ac697e01681567c522a986b67e7ee7cbd4baf3b4 | |
| parent | f8f14cb4e852569e3089963e1fde1091c73c5088 [diff] |
Fix semantic highlighting for role files: + more careful handling/preservation of flag Scanner._isOTSource Also: revert workaround for JDT/UI mixup of isStatic/isPrivate