diff options
| author | Jim Fehrle | 2019-06-01 01:43:09 -0700 |
|---|---|---|
| committer | Jim Fehrle | 2019-06-03 03:45:06 -0700 |
| commit | 7f1821cee8801a0f248aef492b9c1541e85a4880 (patch) | |
| tree | c9885900631fddc3fa1e2f78adfe9bfbce5b748b /generic | |
| parent | 0afe38adf55608b26f04a77f312d4805ce568da6 (diff) | |
Process tags in the buffer rather than in strings
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-response.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-response.el b/generic/pg-response.el index 7f36fc6f..37f629af 100644 --- a/generic/pg-response.el +++ b/generic/pg-response.el @@ -31,8 +31,8 @@ (require 'pg-assoc) (require 'span) -;; hook for coq diffs highlighting routine -(defvar pg-insert-text-function 'insert) +(defvar pg-insert-text-function #'insert + "hook for coq diffs highlighting routine") ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |