diff options
| author | David Aspinall | 2000-05-31 14:15:47 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-31 14:15:47 +0000 |
| commit | 432802b44d2bc21b633c0bd3261459b66eb8af38 (patch) | |
| tree | a9778e3db68f3df18ee3b847b742f6423ef0f21e | |
| parent | d70352a272abfece407d049077ffd99464a44810 (diff) | |
Compatibility with completion package.
| -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) ;; |