diff options
Diffstat (limited to 'generic/pg-vars.el')
-rw-r--r-- | generic/pg-vars.el | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generic/pg-vars.el b/generic/pg-vars.el index 45040c94..c6ecd8ec 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -206,8 +206,8 @@ to examine `proof-shell-last-output'.") A list of lists (SYMBOL SETTING TYPE DESCR) where SETTING is a string value to send to the proof assistant using the value of SYMBOL and and the function `proof-assistant-format'. The TYPE item determines -the form of the menu entry for the setting and the DESCR description -string is used as a help tooltip in the settings menu.") +the form of the menu entry for the setting (this is an Emacs widget type) +and the DESCR description string is used as a help tooltip in the settings menu.") (defvar pg-tracing-slow-mode nil "Non-nil for slow refresh mode for tracing output.") |