diff options
| -rw-r--r-- | generic/proof-shell.el | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index 77cf2a5e..4b0741dc 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1777,12 +1777,9 @@ processing." (if proof-shell-init-cmd (proof-shell-invisible-command proof-shell-init-cmd t)) (if proof-assistant-settings - (proof-shell-invisible-command - (proof-assistant-settings-cmd) t))) - - ;; Configure for unicode input - ; (proof-unicode-tokens-shell-config) - )))))) + (mapcar (lambda (c) + (proof-shell-invisible-command c t)) + (proof-assistant-settings-cmds)))))))))) (provide 'proof-shell) |