From da65048c208361c704c6a2c200a7553a83f191a0 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Tue, 11 Jan 2011 17:06:15 +0000 Subject: Add additional support for pgipfloat type --- generic/pg-vars.el | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'generic/pg-vars.el') 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.") -- cgit v1.2.3