diff options
| -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)) |