diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2010-08-08 13:42:31 +0000 |
| commit | 95d8a7f7364fde5af433ffa0e6c9f5bf664c5ebc (patch) | |
| tree | 9be997d4d9af9c12882d53434d8dbbcb49cbdcb6 /generic/proof-toolbar.el | |
| parent | 0877b91645ec1a824eba51cf0ad46eb4d76a138f (diff) | |
Checkdoc cleanups
Diffstat (limited to 'generic/proof-toolbar.el')
| -rw-r--r-- | generic/proof-toolbar.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index fc23aabd..a50905b0 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -31,14 +31,18 @@ ;; (defun proof-toolbar-function (token) + "Construct name of toolbar function for TOKEN." (intern (concat "proof-toolbar-" (symbol-name token)))) (defun proof-toolbar-icon (token) + "Construct name of toolbar icon for TOKEN." (intern (concat "proof-toolbar-" (symbol-name token) "-icon"))) (defun proof-toolbar-enabler (token) + "Construct name of toolbar enabler for TOKEN." (intern (concat "proof-toolbar-" (symbol-name token) "-enable-p"))) + ;; ;; Now the toolbar icons and buttons ;; @@ -81,7 +85,8 @@ "Proof mode toolbar button list. Set in `proof-toolbar-setup'.") (defun proof-toolbar-available-p () - (and ;; Check toolbar support... + "Check if toolbar support is available in this Emacs." + (and window-system (featurep 'tool-bar) ;; GNU Emacs tool-bar library (or (image-type-available-p 'xpm) ;; and XPM @@ -111,8 +116,8 @@ back the default toolbar." (kill-local-variable 'tool-bar-map))))) (defun proof-toolbar-enable () + "Take action when the toolbar is enabled or disabled." (proof-toolbar-setup) - ;; make sure changes show up (any neater way?) (redraw-display)) ;;;###autoload (autoload 'proof-toolbar-toggle "proof-toolbar") |