branch: master
commit f606c46ccb78b04591bf86cf489bbb55a9af74a7
Author: Arash Esbati <ar...@gnu.org>
Commit: Arash Esbati <ar...@gnu.org>
; Improve style/contract.el
* style/contract.el ("contract"): Fix support for
\DeclareNewJuraEnvironment macro.
---
style/contract.el | 8 +++++---
1 file changed, 5 insertions(+), 3 deletions(-)
diff --git a/style/contract.el b/style/contract.el
index 898dd746..1bd90214 100644
--- a/style/contract.el
+++ b/style/contract.el
@@ -94,7 +94,8 @@
("ClauseFont")
("SubClause")
("Sentence")
- ("ClauseNumberFormat"))])
+ ("ClauseNumberFormat"))]
+ 2)
;; 7 Support for Different Languages
"parname"
@@ -120,8 +121,9 @@
;; Fontification
(when (and (featurep 'font-latex)
(eq TeX-install-font-lock 'font-latex-setup))
- (font-latex-add-keywords '(("contractSetup" "{")
- ("ellipsispar" "["))
+ (font-latex-add-keywords '(("contractSetup" "{")
+ ("ellipsispar" "[")
+ ("DeclareNewJuraEnvironment" "{[{{"))
'function)
(font-latex-add-keywords '(("Clause" "["))
'sectioning-2)
