diff options
| author | David Aspinall | 2010-08-24 19:03:03 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-24 19:03:03 +0000 |
| commit | c54869faa2e146a4f2f9d1e65e21285bc7453e59 (patch) | |
| tree | 5b890b79575daa5d4d78244a310508ce0f026289 /generic | |
| parent | b239e1097eaefd0885370302eab33ca9b9c9624f (diff) | |
proof-shell-config-done: send proof-assistant-settings-cmds
individually rather than en-massse, avoiding input buffer size
problems (bug?) on Emacs 24 with lengthy Isabelle PGIP commands.
Diffstat (limited to 'generic')
| -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) |