diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index daa5bdc3..1838a723 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -807,14 +807,22 @@ evaluate can be provided instead." ;; Could also repeat last command if non-state destroying. ))) +(defun proof-maybe-askprefs () + "If `proof-assistant-settings' is unset, try to issue <askprefs>" + (if (and (not proof-assistant-settings) + proof-shell-issue-pgip-cmd) + (pg-pgip-askprefs))) + (defun proof-assistant-settings-cmd (&optional setting) "Return string for settings kept in Proof General customizations. If SETTING is non-nil, return a string for just that setting. Otherwise return a string for configuring all settings. - -If `proof-assistant-settings' is nil and PGIP is supported, then -first we query settings information from prover." +NB: if no settings are configured, we try to do <askprefs> first." + ;; NB: it may seem like this next line is unnecessary because we do + ;; proof-maybe-askprefs also in proof-shell-config-done. But + ;; the + (proof-maybe-askprefs) (let ((evalifneeded (lambda (expr) (if (and (cadr expr) ;; setting has PA string? |