diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-syntax.el | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/generic/proof-syntax.el b/generic/proof-syntax.el index 1d03131e..37819d8b 100644 --- a/generic/proof-syntax.el +++ b/generic/proof-syntax.el @@ -57,6 +57,12 @@ nil if a region cannot be found." ((case-fold-search proof-case-fold-search)) (string-match regexp string start))) +(defun proof-looking-at (regexp) + "Like looking-at, but set case-fold-search to proof-case-fold-search." + (let + ((case-fold-search proof-case-fold-search)) + (looking-at regexp))) + ;; Generic font-lock |