diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2016-05-20 09:50:18 +0200 |
commit | aff6697e7c2ad645ad54d29da12d65aded5e038a (patch) | |
tree | f465daf078aebbc18684357d01694e2120d2424a /coq/coq.el | |
parent | 6590f705000ec0a6e0260552b48300c65aa83153 (diff) | |
parent | ac4f528a7797ffa2fcc0b46014ec15232bd8807e (diff) |
Merge branch 'master' of github.com:ProofGeneral/PG
Diffstat (limited to 'coq/coq.el')
-rw-r--r-- | coq/coq.el | 5 |
1 files changed, 3 insertions, 2 deletions
@@ -876,8 +876,9 @@ Support dot.notation.of.modules." (defun coq-id-or-notation-at-point () - (or (coq-id-at-point) (concat "\"" (coq-notation-at-position (point)) "\""))) - + (or (coq-id-at-point) + (let ((notation (coq-notation-at-position (point)))) + (if notation (concat "\"" notation "\"") "")))) (defcustom coq-remap-mouse-1 nil "Wether coq mode should remap mouse button 1 to coq queries. |