diff options
| author | Pierre Courtieu | 2017-05-23 17:29:54 +0200 |
|---|---|---|
| committer | Pierre Courtieu | 2017-05-23 17:29:54 +0200 |
| commit | 2202c8a405f50dcb589f69db106afcdbdd22cafd (patch) | |
| tree | ec9f90efb7c59e73d6fb0582caa2af708e2fa32d /coq/coq-smie.el | |
| parent | afb29a670c537412d09cec703da7e8821c658196 (diff) | |
Fixing #183.
Diffstat (limited to 'coq/coq-smie.el')
| -rw-r--r-- | coq/coq-smie.el | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/coq/coq-smie.el b/coq/coq-smie.el index ce386c1f..33ef19d1 100644 --- a/coq/coq-smie.el +++ b/coq/coq-smie.el @@ -592,9 +592,13 @@ The point should be at the beginning of the command name." ;; FIXME: no token should end with "." except "." itself ; for "unfold in *|-*." - ((member tok '("*." "-*." "|-*." "*|-*.")) (forward-char 1) ".") + ((member tok '("*." "-*." "|-*." "*|-*.")) + (forward-char (- (length tok) 1)) + (coq-smie-.-deambiguate)) ; for "unfold in *|-*;" - ((member tok '("*;" "-*;" "|-*;" "*|-*;")) (forward-char 1) "; tactic") ;; FIXME; can be "; ltac" too + ((member tok '("*;" "-*;" "|-*;" "*|-*;")) + ;; FIXME; can be "; ltac" too + (forward-char (- (length tok) 1)) "; tactic") ((and (string-match coq-bullet-regexp-nospace tok) (save-excursion (coq-empty-command-p))) (concat tok " bullet")) |