Jonathan Coates a292d33830 Syntax highlighting for multiline tokens in edit ...

I don't love the implementation of this (see discussion in #2220), but
it's better than nothing. Wow, the editor really needs a bit of a
rewrite, the code is kinda messy.

Fixes #1396.

2025-06-25 22:50:23 +01:00

..

src

Syntax highlighting for multiline tokens in edit

2025-06-25 22:50:23 +01:00

build.gradle.kts

Switch to JSpecify annotations

2025-02-16 18:09:15 +00:00