Fix highlighting of comments

Ref. #243
AdaCore · Jun 13, 2020 · add8f51 · add8f51
1 parent 3729150
commit add8f51
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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),