diff --git a/ide/gnatstudio/recordflux.py b/ide/gnatstudio/recordflux.py index 4c286acb27..5b0a93e023 100755 --- a/ide/gnatstudio/recordflux.py +++ b/ide/gnatstudio/recordflux.py @@ -153,6 +153,7 @@ hl.register_highlighter( language="recordflux", spec=( + hl.simple(r"--[^\n]*", tag=hl.tag_comment), type_region, hl.simple(r"\b'First", tag=tag_aspect), hl.simple(r"\b'Last", tag=tag_aspect),