diff options
| author | David Aspinall | 2002-11-20 12:21:15 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-20 12:21:15 +0000 |
| commit | 1c03746d5d1cd84e7ea443faeebd5c2ebf2257d6 (patch) | |
| tree | e9e87ee3485b40b78aba8c3142920911b427a23b | |
| parent | 2039e9e907e05683f8e7bf0051e4d1787b421b0e (diff) | |
Comment
| -rw-r--r-- | generic/proof-menu.el | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index b7cf4d5b..779a9fb5 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -736,6 +736,11 @@ Otherwise return a string for configuring all settings. If `proof-assistants-settings' is nil and PGIP is supported, then first we query settings information from prover." + ;; This is a slightly ugly way: this function may be called to + ;; calculate a string for setting preferences, and is a possible + ;; setting for proof-shell-init-cmd. But it needs to be evaluated + ;; each time (in case preferences change), and may trigger a nested + ;; call to proof-shell-invisible-cmd to send askprefs message. (if (and (not proof-assistant-settings) proof-shell-issue-pgip-cmd) (pg-pgip-askprefs)) |