From 68f5ce64c1d2faa65360da33e947b00a5673e97b Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 13 Apr 2004 22:21:07 +0000 Subject: Abstract out proof-maybe-askprefs --- generic/proof-menu.el | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) (limited to 'generic/proof-menu.el') 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 " + (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 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? -- cgit v1.2.3