diff options
| -rw-r--r-- | generic/proof-x-symbol.el | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index 52a9d6e8..9e38cec4 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -294,6 +294,10 @@ Assumes that the current buffer is the proof shell buffer." ; (x-symbol-encode)))) +;; Compatibility with completion package + +(put 'completion-separator-self-insert-command 'x-symbol-input t) +(put 'completion-separator-self-insert-autofilling 'x-symbol-input t) ;; |