diff options
| author | David Aspinall | 2001-08-31 11:32:20 +0000 |
|---|---|---|
| committer | David Aspinall | 2001-08-31 11:32:20 +0000 |
| commit | aad435c16be59fc744242a61e3e2b33d1f3a90f7 (patch) | |
| tree | 0c3a3a065ea0a7e15ae45d5d8d617434cedc8ca2 | |
| parent | 1c1d856b9265a15d83f245171f4a5af819b1bbb0 (diff) | |
Skip settings which have no PA command in proof-assistant-settings-cmd
| -rw-r--r-- | generic/proof-menu.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 0a091754..0bd6ee23 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -537,8 +537,9 @@ If SETTING is non-nil, return a string for just that setting. Otherwise return a string for configuring all settings." (let ((evalifneeded (lambda (expr) - (if (or (not setting) - (eq setting (car expr))) + (if (and (cadr expr) ;; setting has PA string? + (or (not setting) + (eq setting (car expr)))) (proof-assistant-format (cadr expr) (eval (proof-ass-symv (car expr)))))))) |