diff options
| author | David Aspinall | 2008-01-28 13:30:51 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-28 13:30:51 +0000 |
| commit | a5f4838e1f1ad715b476041e9b6942312604103b (patch) | |
| tree | 7cc5d6ed57c7e44e04836a1ae3147471f9325940 /generic/proof-shell.el | |
| parent | 7755773c265b784a7ca55f3413b7ee14f345d2ee (diff) | |
Add hooks for unicode tokens within proof shell
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 55594aa0..cf3b02ca 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -2015,8 +2015,9 @@ processing." (if proof-assistant-settings (proof-shell-invisible-command (proof-assistant-settings-cmd) t))) - ;; Configure for x-symbol [even if the init cmd caused some error] - (proof-x-symbol-shell-config))))))) + ;; Configure for x-symbol or unicode input + (proof-x-symbol-shell-config) + (proof-unicode-tokens-shell-config))))))) (provide 'proof-shell) |