From f1f70d0df950198cad6fb2d5a72471626857bd40 Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Tue, 13 Apr 2021 15:11:20 +0200
Subject: added new option 'locus' in \DeclareWitness

---
 ekdosis.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'ekdosis.el')

diff --git a/ekdosis.el b/ekdosis.el
index 74d6bf1..1df3fd3 100644
--- a/ekdosis.el
+++ b/ekdosis.el
@@ -120,6 +120,9 @@
    (add-to-list (make-local-variable 'LaTeX-fold-macro-spec-list)
    		'("[l]" ("linelabel"))
    		t)
+   (add-to-list (make-local-variable 'LaTeX-fold-macro-spec-list)
+   		'("{{1}}" ("surplus"))
+   		t)
    ;; This package relies on lualatex, so check for it:
    (TeX-check-engine-add-engines 'luatex)
    (TeX-add-symbols
-- 
cgit v1.2.3