From a6072093653baf86b7ec155f65369c0b3088891a Mon Sep 17 00:00:00 2001
From: Reily Siegel <mail@reilysiegel.com>
Date: Thu, 15 Jan 2026 17:49:28 -0500
Subject: [PATCH] Propertize docstring comments correctly

---
 CONTRIBUTORS    | 1 +
 idris-syntax.el | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/CONTRIBUTORS b/CONTRIBUTORS
index 4d506a6..a1b70e4 100644
--- a/CONTRIBUTORS
+++ b/CONTRIBUTORS
@@ -37,6 +37,7 @@ Nicolas Dudebout
 Ohad Kammar
 Paul Dempster
 Peter Harpending
+Reily Siegel
 Samuel Memmel
 Simon Pelchat
 Steve Purcell
diff --git a/idris-syntax.el b/idris-syntax.el
index 6aea664..f01e604 100644
--- a/idris-syntax.el
+++ b/idris-syntax.el
@@ -192,7 +192,8 @@ syntax table won't support, such as characters."
     (goto-char begin)
     (while (re-search-forward "\\\\(" end t)
       (let ((open (match-beginning 0)))
-        (add-text-properties open (1+ open) '(syntax-table (1 . nil)))))))
+        (add-text-properties open (1+ open) '(syntax-table (1 . nil)))))
+    (funcall (syntax-propertize-rules ("\\(|||\\)" (1 "<"))) begin end)))
 
 (defconst idris-font-lock-keyword-regexp
   (regexp-opt (append idris-definition-keywords