[ emacs ] highlighting for proven/defined

msp-strath · Oct 28, 2024 · 4ea201d · 4ea201d
1 parent 52c4933
commit 4ea201d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/emacs/ask.el b/emacs/ask.el
@@ -43,7 +43,7 @@
   ;; handling comments
   :syntax-table (make-syntax-table)
   ;; code for syntax highlighting
-  ;; (font-lock-add-keywords nil '(("^\s*proven[^%\n]+" . 'ask-response-success)))
+  (font-lock-add-keywords nil '(("^\s*\\(proven\\|defined\\)[[:space:]]+" . (1 'ask-response-success))))
   (font-lock-add-keywords nil '(("^\s*%>[^%\n]+" 0 'labmate-directive t)))
   (font-lock-add-keywords nil '(("^\s*%<.+" . 'labmate-response-error)))
   (font-lock-add-keywords nil '(("^\s*%<[{}]$" . 'labmate-response-delimiter)))