Use `called-interactively-p' instead of `interactive-p'.
[bpt/emacs.git] / lisp / help-fns.el
index d251ab0..a080cd2 100644 (file)
@@ -1,7 +1,8 @@
 ;;; help-fns.el --- Complex help functions
 
-;; Copyright (C) 1985, 1986, 1993, 1994, 1998, 1999, 2000, 2001,
-;;   2002, 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
+;; Copyright (C) 1985, 1986, 1993, 1994, 1998, 1999, 2000, 2001, 2002,
+;;   2003, 2004, 2005, 2006, 2007, 2008, 2009
+;;   Free Software Foundation, Inc.
 
 ;; Maintainer: FSF
 ;; Keywords: help, internal
@@ -51,7 +52,8 @@
               fn (intern val)))))
   (if (null function)
       (message "You didn't specify a function")
-    (help-setup-xref (list #'describe-function function) (interactive-p))
+    (help-setup-xref (list #'describe-function function)
+                    (called-interactively-p 'interactive))
     (save-excursion
       (with-help-window (help-buffer)
        (prin1 function)
@@ -99,13 +101,15 @@ ARGLIST can also be t or a string of the form \"(FUN ARG1 ARG2 ...)\"."
   ;; Handle symbols aliased to other symbols.
   (if (and (symbolp def) (fboundp def)) (setq def (indirect-function def)))
   ;; If definition is a macro, find the function inside it.
-  (if (eq (car-safe def) 'macro) (setq def (cdr def)))
-  (cond
-   ((byte-code-function-p def) (aref def 0))
-   ((eq (car-safe def) 'lambda) (nth 1 def))
-   ((and (eq (car-safe def) 'autoload) (not (eq (nth 4 def) 'keymap)))
-    "[Arg list not available until function definition is loaded.]")
-   (t t)))
+  (let ((advertised (gethash def advertised-signature-table t)))
+    (if (listp advertised) advertised
+      (if (eq (car-safe def) 'macro) (setq def (cdr def)))
+      (cond
+       ((byte-code-function-p def) (aref def 0))
+       ((eq (car-safe def) 'lambda) (nth 1 def))
+       ((and (eq (car-safe def) 'autoload) (not (eq (nth 4 def) 'keymap)))
+        "[Arg list not available until function definition is loaded.]")
+       (t t)))))
 
 (defun help-make-usage (function arglist)
   (cons (if (symbolp function) function 'anonymous)
@@ -157,19 +161,18 @@ KIND should be `var' for a variable or `subr' for a subroutine."
            (concat "src/" file)
          file)))))
 
-(defface help-argument-name '((((supports :slant italic)) :inherit italic))
-  "Face to highlight argument names in *Help* buffers."
-  :group 'help)
+(defcustom help-downcase-arguments nil
+  "If non-nil, argument names in *Help* buffers are downcased."
+  :type 'boolean
+  :group 'help
+  :version "23.2")
 
-(defun help-default-arg-highlight (arg)
-  "Default function to highlight arguments in *Help* buffers.
-It returns ARG in face `help-argument-name'; ARG is also
-downcased if it displays differently than the default
-face (according to `face-differs-from-default-p')."
-  (propertize (if (face-differs-from-default-p 'help-argument-name)
-                  (downcase arg)
-                arg)
-              'face 'help-argument-name))
+(defun help-highlight-arg (arg)
+  "Highlight ARG as an argument name for a *Help* buffer.
+Return ARG in face `help-argument-name'; ARG is also downcased
+if the variable `help-downcase-arguments' is non-nil."
+  (propertize (if help-downcase-arguments (downcase arg) arg)
+             'face 'help-argument-name))
 
 (defun help-do-arg-highlight (doc args)
   (with-syntax-table (make-syntax-table emacs-lisp-mode-syntax-table)
@@ -187,7 +190,7 @@ face (according to `face-differs-from-default-p')."
                          "\\(?:-[a-z0-9-]+\\)?"  ; for ARG-xxx, ARG-n
                          "\\(?:-[{([<`\"].*?\\)?"; for ARG-{x}, (x), <x>, [x], `x'
                          "\\>")                  ; end of word
-                 (help-default-arg-highlight arg)
+                 (help-highlight-arg arg)
                  doc t t 1)))))
 
 (defun help-highlight-arguments (usage doc &rest args)
@@ -217,36 +220,114 @@ face (according to `face-differs-from-default-p')."
   ;; Return value is like the one from help-split-fundoc, but highlighted
   (cons usage doc))
 
+;; The following function was compiled from the former functions
+;; `describe-simplify-lib-file-name' and `find-source-lisp-file' with
+;; some excerpts from `describe-function-1' and `describe-variable'.
+;; The only additional twists provided are (1) locate the defining file
+;; for autoloaded functions, and (2) give preference to files in the
+;; "install directory" (directories found via `load-path') rather than
+;; to files in the "compile directory" (directories found by searching
+;; the loaddefs.el file).  We autoload it because it's also used by
+;; `describe-face' (instead of `describe-simplify-lib-file-name').
+
 ;;;###autoload
-(defun describe-simplify-lib-file-name (file)
-  "Simplify a library name FILE to a relative name, and make it a source file."
-  (if file
-      ;; Try converting the absolute file name to a library name.
-      (let ((libname (file-name-nondirectory file)))
-       ;; Now convert that back to a file name and see if we get
-       ;; the original one.  If so, they are equivalent.
-       (if (equal file (locate-file libname load-path '("")))
-           (if (string-match "[.]elc\\'" libname)
-               (substring libname 0 -1)
-             libname)
-         file))))
-
-(defun find-source-lisp-file (file-name)
-  (let* ((elc-file (locate-file (concat file-name
-                                (if (string-match "\\.el" file-name)
-                                    "c"
-                                  ".elc"))
-                                load-path))
-        (str (if (and elc-file (file-readable-p elc-file))
-                 (with-temp-buffer
-                   (insert-file-contents-literally elc-file nil 0 256)
-                   (buffer-string))))
-        (src-file (and str
-                       (string-match ";;; from file \\(.*\\.el\\)" str)
-                       (match-string 1 str))))
-    (if (and src-file (file-readable-p src-file))
-       src-file
-      file-name)))
+(defun find-lisp-object-file-name (object type)
+  "Guess the file that defined the Lisp object OBJECT, of type TYPE.
+OBJECT should be a symbol associated with a function, variable, or face;
+  alternatively, it can be a function definition.
+If TYPE is `variable', search for a variable definition.
+If TYPE is `face', search for a face definition.
+If TYPE is the value returned by `symbol-function' for a function symbol,
+ search for a function definition.
+
+The return value is the absolute name of a readable file where OBJECT is
+defined.  If several such files exist, preference is given to a file
+found via `load-path'.  The return value can also be `C-source', which
+means that OBJECT is a function or variable defined in C.  If no
+suitable file is found, return nil."
+  (let* ((autoloaded (eq (car-safe type) 'autoload))
+        (file-name (or (and autoloaded (nth 1 type))
+                       (symbol-file
+                        object (if (memq type (list 'defvar 'defface))
+                                   type
+                                 'defun)))))
+    (cond
+     (autoloaded
+      ;; An autoloaded function: Locate the file since `symbol-function'
+      ;; has only returned a bare string here.
+      (setq file-name
+           (locate-file file-name load-path '(".el" ".elc") 'readable)))
+     ((and (stringp file-name)
+          (string-match "[.]*loaddefs.el\\'" file-name))
+      ;; An autoloaded variable or face.  Visit loaddefs.el in a buffer
+      ;; and try to extract the defining file.  The following form is
+      ;; from `describe-function-1' and `describe-variable'.
+      (let ((location
+            (condition-case nil
+                (find-function-search-for-symbol object nil file-name)
+              (error nil))))
+       (when (cdr location)
+         (with-current-buffer (car location)
+           (goto-char (cdr location))
+           (when (re-search-backward
+                  "^;;; Generated autoloads from \\(.*\\)" nil t)
+             (setq file-name
+                   (locate-file
+                    (file-name-sans-extension
+                     (match-string-no-properties 1))
+                    load-path '(".el" ".elc") 'readable))))))))
+
+    (cond
+     ((and (not file-name) (subrp type))
+      ;; A built-in function.  The form is from `describe-function-1'.
+      (if (get-buffer " *DOC*")
+         (help-C-file-name type 'subr)
+       'C-source))
+     ((and (not file-name) (symbolp object)
+          (integerp (get object 'variable-documentation)))
+      ;; A variable defined in C.  The form is from `describe-variable'.
+      (if (get-buffer " *DOC*")
+         (help-C-file-name object 'var)
+       'C-source))
+     ((not (stringp file-name))
+      ;; If we don't have a file-name string by now, we lost.
+      nil)
+     ((let ((lib-name
+            (if (string-match "[.]elc\\'" file-name)
+                (substring-no-properties file-name 0 -1)
+              file-name)))
+       ;; When the Elisp source file can be found in the install
+       ;; directory return the name of that file - `file-name' should
+       ;; have become an absolute file name ny now.
+       (or (and (file-readable-p lib-name) lib-name)
+           ;; The library might be compressed.
+           (and (file-readable-p (concat lib-name ".gz")) lib-name))))
+     ((let* ((lib-name (file-name-nondirectory file-name))
+            ;; The next form is from `describe-simplify-lib-file-name'.
+            (file-name
+             ;; Try converting the absolute file name to a library
+             ;; name, convert that back to a file name and see if we
+             ;; get the original one.  If so, they are equivalent.
+             (if (equal file-name (locate-file lib-name load-path '("")))
+                 (if (string-match "[.]elc\\'" lib-name)
+                     (substring-no-properties lib-name 0 -1)
+                   lib-name)
+               file-name))
+            ;; The next three forms are from `find-source-lisp-file'.
+            (elc-file (locate-file
+                       (concat file-name
+                               (if (string-match "\\.el\\'" file-name)
+                                   "c"
+                                 ".elc"))
+                       load-path nil 'readable))
+            (str (when elc-file
+                   (with-temp-buffer
+                     (insert-file-contents-literally elc-file nil 0 256)
+                     (buffer-string))))
+            (src-file (and str
+                           (string-match ";;; from file \\(.*\\.el\\)" str)
+                           (match-string 1 str))))
+       (and src-file (file-readable-p src-file) src-file))))))
 
 (declare-function ad-get-advice-info "advice" (function))
 
@@ -258,9 +339,8 @@ face (according to `face-differs-from-default-p')."
         ;; real definition, if that symbol is already set up.
         (real-function
          (or (and advised
-                  (cdr (assq 'origname advised))
-                  (fboundp (cdr (assq 'origname advised)))
-                  (cdr (assq 'origname advised)))
+                  (let ((origname (cdr (assq 'origname advised))))
+                    (and (fboundp origname) origname)))
              function))
         ;; Get the real definition.
         (def (if (symbolp real-function)
@@ -268,7 +348,8 @@ face (according to `face-differs-from-default-p')."
                function))
         file-name string
         (beg (if (commandp def) "an interactive " "a "))
-         (pt1 (with-current-buffer (help-buffer) (point))))
+         (pt1 (with-current-buffer (help-buffer) (point)))
+        errtype)
     (setq string
          (cond ((or (stringp def)
                     (vectorp def))
@@ -280,20 +361,21 @@ face (according to `face-differs-from-default-p')."
                ((byte-code-function-p def)
                 (concat beg "compiled Lisp function"))
                ((symbolp def)
-                (while (symbolp (symbol-function def))
+                (while (and (fboundp def)
+                            (symbolp (symbol-function def)))
                   (setq def (symbol-function def)))
+                ;; Handle (defalias 'foo 'bar), where bar is undefined.
+                (or (fboundp def) (setq errtype 'alias))
                 (format "an alias for `%s'" def))
                ((eq (car-safe def) 'lambda)
                 (concat beg "Lisp function"))
                ((eq (car-safe def) 'macro)
                 "a Lisp macro")
                ((eq (car-safe def) 'autoload)
-                (setq file-name (nth 1 def))
                 (format "%s autoloaded %s"
                         (if (commandp def) "an interactive" "an")
                         (if (eq (nth 4 def) 'keymap) "keymap"
-                          (if (nth 4 def) "Lisp macro" "Lisp function"))
-                        ))
+                          (if (nth 4 def) "Lisp macro" "Lisp function"))))
                 ((keymapp def)
                  (let ((is-full nil)
                        (elts (cdr-safe def)))
@@ -307,135 +389,131 @@ face (according to `face-differs-from-default-p')."
                      "a sparse keymap")))
                (t "")))
     (princ string)
-    (with-current-buffer standard-output
-      (save-excursion
-       (save-match-data
-         (if (re-search-backward "alias for `\\([^`']+\\)'" nil t)
-             (help-xref-button 1 'help-function def)))))
-    (or file-name
-       (setq file-name (symbol-file function 'defun)))
-    (setq file-name (describe-simplify-lib-file-name file-name))
-    (when (equal file-name "loaddefs.el")
-      ;; Find the real def site of the preloaded function.
-      ;; This is necessary only for defaliases.
-      (let ((location
-            (condition-case nil
-                (find-function-search-for-symbol function nil "loaddefs.el")
-              (error nil))))
-       (when location
-         (with-current-buffer (car location)
-           (goto-char (cdr location))
-           (when (re-search-backward
-                  "^;;; Generated autoloads from \\(.*\\)" nil t)
-             (setq file-name (match-string 1)))))))
-    (when (and (null file-name) (subrp def))
-      ;; Find the C source file name.
-      (setq file-name (if (get-buffer " *DOC*")
-                         (help-C-file-name def 'subr)
-                       'C-source)))
-    (when file-name
-      (princ " in `")
-      ;; We used to add .el to the file name,
-      ;; but that's completely wrong when the user used load-file.
-      (princ (if (eq file-name 'C-source) "C source code" file-name))
-      (princ "'")
-      ;; See if lisp files are present where they where installed from.
-      (if (not (eq file-name 'C-source))
-         (setq file-name (find-source-lisp-file file-name)))
-
-      ;; Make a hyperlink to the library.
-      (with-current-buffer standard-output
-        (save-excursion
-         (re-search-backward "`\\([^`']+\\)'" nil t)
-         (help-xref-button 1 'help-function-def real-function file-name))))
-    (princ ".")
-    (with-current-buffer (help-buffer)
-      (fill-region-as-paragraph (save-excursion (goto-char pt1) (forward-line 0) (point))
-                                (point)))
-    (terpri)(terpri)
-    (when (commandp function)
-      (let ((pt2 (with-current-buffer (help-buffer) (point))))
-      (if (and (eq function 'self-insert-command)
-              (eq (key-binding "a") 'self-insert-command)
-              (eq (key-binding "b") 'self-insert-command)
-              (eq (key-binding "c") 'self-insert-command))
-         (princ "It is bound to many ordinary text characters.\n")
-       (let* ((remapped (command-remapping function))
-              (keys (where-is-internal
-                     (or remapped function) overriding-local-map nil nil))
-              non-modified-keys)
-         ;; Which non-control non-meta keys run this command?
-         (dolist (key keys)
-           (if (member (event-modifiers (aref key 0)) '(nil (shift)))
-               (push key non-modified-keys)))
-         (when remapped
-           (princ "It is remapped to `")
-           (princ (symbol-name remapped))
-           (princ "'"))
-
-         (when keys
-              (princ (if remapped ", which is bound to " "It is bound to "))
-           ;; If lots of ordinary text characters run this command,
-           ;; don't mention them one by one.
-           (if (< (length non-modified-keys) 10)
-               (princ (mapconcat 'key-description keys ", "))
-             (dolist (key non-modified-keys)
-               (setq keys (delq key keys)))
-             (if keys
-                 (progn
-                   (princ (mapconcat 'key-description keys ", "))
-                   (princ ", and many ordinary text characters"))
-               (princ "many ordinary text characters"))))
-         (when (or remapped keys non-modified-keys)
-           (princ ".")
-              (terpri))))
-        (with-current-buffer (help-buffer) (fill-region-as-paragraph pt2 (point)))
-        (terpri)))
-    (let* ((arglist (help-function-arglist def))
-          (doc (documentation function))
-          (usage (help-split-fundoc doc function)))
+    (if (eq errtype 'alias)
+       (princ ",\nwhich is not defined.  Please make a bug report.")
       (with-current-buffer standard-output
-        ;; If definition is a keymap, skip arglist note.
-        (unless (keymapp function)
-          (let* ((use (cond
-                        (usage (setq doc (cdr usage)) (car usage))
-                        ((listp arglist)
-                         (format "%S" (help-make-usage function arglist)))
-                        ((stringp arglist) arglist)
-                        ;; Maybe the arglist is in the docstring of a symbol
-                       ;; this one is aliased to.
-                        ((let ((fun real-function))
-                           (while (and (symbolp fun)
-                                       (setq fun (symbol-function fun))
-                                       (not (setq usage (help-split-fundoc
-                                                         (documentation fun)
-                                                         function)))))
-                           usage)
-                         (car usage))
-                        ((or (stringp def)
-                             (vectorp def))
-                         (format "\nMacro: %s" (format-kbd-macro def)))
-                        (t "[Missing arglist.  Please make a bug report.]")))
-                 (high (help-highlight-arguments use doc)))
-            (let ((fill-begin (point)))
-             (insert (car high) "\n")
-             (fill-region fill-begin (point)))
-            (setq doc (cdr high))))
-        (let* ((obsolete (and
-                         ;; function might be a lambda construct.
-                         (symbolp function)
-                         (get function 'byte-obsolete-info)))
-              (use (car obsolete)))
-          (when obsolete
-            (princ "\nThis function is obsolete")
-            (when (nth 2 obsolete)
-              (insert (format " since %s" (nth 2 obsolete))))
-           (insert (cond ((stringp use) (concat ";\n" use))
-                         (use (format ";\nuse `%s' instead." use))
-                         (t "."))
-                   "\n"))
-          (insert "\n"
-                  (or doc "Not documented.")))))))
+       (save-excursion
+         (save-match-data
+           (when (re-search-backward "alias for `\\([^`']+\\)'" nil t)
+             (help-xref-button 1 'help-function def)))))
+
+      (setq file-name (find-lisp-object-file-name function def))
+      (when file-name
+       (princ " in `")
+       ;; We used to add .el to the file name,
+       ;; but that's completely wrong when the user used load-file.
+       (princ (if (eq file-name 'C-source)
+                  "C source code"
+                (file-name-nondirectory file-name)))
+       (princ "'")
+       ;; Make a hyperlink to the library.
+       (with-current-buffer standard-output
+         (save-excursion
+           (re-search-backward "`\\([^`']+\\)'" nil t)
+           (help-xref-button 1 'help-function-def function file-name))))
+      (princ ".")
+      (with-current-buffer (help-buffer)
+       (fill-region-as-paragraph (save-excursion (goto-char pt1) (forward-line 0) (point))
+                                 (point)))
+      (terpri)(terpri)
+      (when (commandp function)
+       (let ((pt2 (with-current-buffer (help-buffer) (point)))
+             (remapped (command-remapping function)))
+         (unless (memq remapped '(ignore undefined))
+           (let ((keys (where-is-internal
+                        (or remapped function) overriding-local-map nil nil))
+                 non-modified-keys)
+             (if (and (eq function 'self-insert-command)
+                      (vectorp (car-safe keys))
+                      (consp (aref (car keys) 0)))
+                 (princ "It is bound to many ordinary text characters.\n")
+               ;; Which non-control non-meta keys run this command?
+               (dolist (key keys)
+                 (if (member (event-modifiers (aref key 0)) '(nil (shift)))
+                     (push key non-modified-keys)))
+               (when remapped
+                 (princ "It is remapped to `")
+                 (princ (symbol-name remapped))
+                 (princ "'"))
+
+               (when keys
+                 (princ (if remapped ", which is bound to " "It is bound to "))
+                 ;; If lots of ordinary text characters run this command,
+                 ;; don't mention them one by one.
+                 (if (< (length non-modified-keys) 10)
+                     (princ (mapconcat 'key-description keys ", "))
+                   (dolist (key non-modified-keys)
+                     (setq keys (delq key keys)))
+                   (if keys
+                       (progn
+                         (princ (mapconcat 'key-description keys ", "))
+                         (princ ", and many ordinary text characters"))
+                     (princ "many ordinary text characters"))))
+               (when (or remapped keys non-modified-keys)
+                 (princ ".")
+                 (terpri)))))
+
+         (with-current-buffer (help-buffer)
+           (fill-region-as-paragraph pt2 (point))
+           (unless (looking-back "\n\n")
+             (terpri)))))
+      ;; Note that list* etc do not get this property until
+      ;; cl-hack-byte-compiler runs, after bytecomp is loaded.
+      (when (eq (get function 'byte-compile) 'cl-byte-compile-compiler-macro)
+       (princ "This function has a compiler macro")
+       (let ((lib (get function 'compiler-macro-file)))
+         (when (stringp lib)
+           (princ (format " in `%s'" lib))
+           (with-current-buffer standard-output
+             (save-excursion
+               (re-search-backward "`\\([^`']+\\)'" nil t)
+               (help-xref-button 1 'help-function-cmacro function lib)))))
+       (princ ".\n\n"))
+      (let* ((arglist (help-function-arglist def))
+            (doc (documentation function))
+            (usage (help-split-fundoc doc function)))
+       (with-current-buffer standard-output
+         ;; If definition is a keymap, skip arglist note.
+         (unless (keymapp function)
+           (let* ((use (cond
+                        (usage (setq doc (cdr usage)) (car usage))
+                        ((listp arglist)
+                         (format "%S" (help-make-usage function arglist)))
+                        ((stringp arglist) arglist)
+                        ;; Maybe the arglist is in the docstring of a symbol
+                        ;; this one is aliased to.
+                        ((let ((fun real-function))
+                           (while (and (symbolp fun)
+                                       (setq fun (symbol-function fun))
+                                       (not (setq usage (help-split-fundoc
+                                                         (documentation fun)
+                                                         function)))))
+                           usage)
+                         (car usage))
+                        ((or (stringp def)
+                             (vectorp def))
+                         (format "\nMacro: %s" (format-kbd-macro def)))
+                        (t "[Missing arglist.  Please make a bug report.]")))
+                  (high (help-highlight-arguments use doc)))
+             (let ((fill-begin (point)))
+               (insert (car high) "\n")
+               (fill-region fill-begin (point)))
+             (setq doc (cdr high))))
+         (let* ((obsolete (and
+                           ;; function might be a lambda construct.
+                           (symbolp function)
+                           (get function 'byte-obsolete-info)))
+                (use (car obsolete)))
+           (when obsolete
+             (princ "\nThis function is obsolete")
+             (when (nth 2 obsolete)
+               (insert (format " since %s" (nth 2 obsolete))))
+             (insert (cond ((stringp use) (concat ";\n" use))
+                           (use (format ";\nuse `%s' instead." use))
+                           (t "."))
+                     "\n"))
+           (insert "\n"
+                   (or doc "Not documented."))))))))
 
 \f
 ;; Variables
@@ -513,54 +591,34 @@ it is displayed along with the global value."
                                (if (symbolp v) (symbol-name v))))
      (list (if (equal val "")
               v (intern val)))))
-  (unless (buffer-live-p buffer) (setq buffer (current-buffer)))
-  (unless (frame-live-p frame) (setq frame (selected-frame)))
-  (if (not (symbolp variable))
-      (message "You did not specify a variable")
-    (save-excursion
-      (let ((valvoid (not (with-current-buffer buffer (boundp variable))))
-           val val-start-pos locus)
-       ;; Extract the value before setting up the output buffer,
-       ;; in case `buffer' *is* the output buffer.
-       (unless valvoid
-         (with-selected-frame frame
+  (let (file-name)
+    (unless (buffer-live-p buffer) (setq buffer (current-buffer)))
+    (unless (frame-live-p frame) (setq frame (selected-frame)))
+    (if (not (symbolp variable))
+       (message "You did not specify a variable")
+      (save-excursion
+       (let ((valvoid (not (with-current-buffer buffer (boundp variable))))
+             val val-start-pos locus)
+         ;; Extract the value before setting up the output buffer,
+         ;; in case `buffer' *is* the output buffer.
+         (unless valvoid
+           (with-selected-frame frame
+             (with-current-buffer buffer
+               (setq val (symbol-value variable)
+                     locus (variable-binding-locus variable)))))
+         (help-setup-xref (list #'describe-variable variable buffer)
+                          (called-interactively-p 'interactive))
+         (with-help-window (help-buffer)
            (with-current-buffer buffer
-             (setq val (symbol-value variable)
-                   locus (variable-binding-locus variable)))))
-       (help-setup-xref (list #'describe-variable variable buffer)
-                        (interactive-p))
-       (with-help-window (help-buffer)
-         (with-current-buffer buffer
-           (prin1 variable)
-           ;; Make a hyperlink to the library if appropriate.  (Don't
-           ;; change the format of the buffer's initial line in case
-           ;; anything expects the current format.)
-           (let ((file-name (symbol-file variable 'defvar)))
-             (setq file-name (describe-simplify-lib-file-name file-name))
-             (when (equal file-name "loaddefs.el")
-               ;; Find the real def site of the preloaded variable.
-               (let ((location
-                      (condition-case nil
-                          (find-variable-noselect variable file-name)
-                        (error nil))))
-                 (when location
-                   (with-current-buffer (car location)
-                     (when (cdr location)
-                       (goto-char (cdr location)))
-                     (when (re-search-backward
-                            "^;;; Generated autoloads from \\(.*\\)" nil t)
-                       (setq file-name (match-string 1)))))))
-             (when (and (null file-name)
-                        (integerp (get variable 'variable-documentation)))
-               ;; It's a variable not defined in Elisp but in C.
-               (setq file-name
-                     (if (get-buffer " *DOC*")
-                         (help-C-file-name variable 'var)
-                       'C-source)))
+             (prin1 variable)
+             (setq file-name (find-lisp-object-file-name variable 'defvar))
+
              (if file-name
                  (progn
                    (princ " is a variable defined in `")
-                   (princ (if (eq file-name 'C-source) "C source code" file-name))
+                   (princ (if (eq file-name 'C-source)
+                              "C source code"
+                            (file-name-nondirectory file-name)))
                    (princ "'.\n")
                    (with-current-buffer standard-output
                      (save-excursion
@@ -668,6 +726,37 @@ it is displayed along with the global value."
                             (use (format ";\n  use `%s' instead." (car obsolete)))
                             (t ".")))
                 (terpri))
+
+             (when (member (cons variable val) file-local-variables-alist)
+               (setq extra-line t)
+               (if (member (cons variable val) dir-local-variables-alist)
+                   (let ((file (and (buffer-file-name)
+                                    (not (file-remote-p (buffer-file-name)))
+                                    (dir-locals-find-file (buffer-file-name)))))
+                     (princ "  This variable is a directory local variable")
+                     (when file
+                       (princ (concat "\n  from the file \""
+                                      (if (consp file)
+                                          (car file)
+                                        file)
+                                      "\"")))
+                     (princ ".\n"))
+                 (princ "  This variable is a file local variable.\n")))
+
+             (when (memq variable ignored-local-variables)
+               (setq extra-line t)
+               (princ "  This variable is ignored when used as a file local \
+variable.\n"))
+
+             ;; Can be both risky and safe, eg auto-fill-function.
+             (when (risky-local-variable-p variable)
+               (setq extra-line t)
+               (princ "  This variable is potentially risky when used as a \
+file local variable.\n")
+               (when (assq variable safe-local-variable-values)
+                 (princ "  However, you have added it to \
+`safe-local-variable-values'.\n")))
+
              (when safe-var
                 (setq extra-line t)
                (princ "  This variable is safe as a file local variable ")
@@ -712,7 +801,8 @@ The descriptions are inserted in a help buffer, which is then displayed.
 BUFFER defaults to the current buffer."
   (interactive)
   (setq buffer (or buffer (current-buffer)))
-  (help-setup-xref (list #'describe-syntax buffer) (interactive-p))
+  (help-setup-xref (list #'describe-syntax buffer)
+                  (called-interactively-p 'interactive))
   (with-help-window (help-buffer)
     (let ((table (with-current-buffer buffer (syntax-table))))
       (with-current-buffer standard-output
@@ -737,22 +827,51 @@ If BUFFER is non-nil, then describe BUFFER's category table instead.
 BUFFER should be a buffer or a buffer name."
   (interactive)
   (setq buffer (or buffer (current-buffer)))
-  (help-setup-xref (list #'describe-categories buffer) (interactive-p))
+  (help-setup-xref (list #'describe-categories buffer)
+                  (called-interactively-p 'interactive))
   (with-help-window (help-buffer)
-    (let ((table (with-current-buffer buffer (category-table))))
+    (let* ((table (with-current-buffer buffer (category-table)))
+          (docs (char-table-extra-slot table 0)))
+      (if (or (not (vectorp docs)) (/= (length docs) 95))
+         (error "Invalid first extra slot in this category table\n"))
       (with-current-buffer standard-output
+       (insert "Legend of category mnemonics (see the tail for the longer description)\n")
+       (let ((pos (point)) (items 0) lines n)
+         (dotimes (i 95)
+           (if (aref docs i) (setq items (1+ items))))
+         (setq lines (1+ (/ (1- items) 4)))
+         (setq n 0)
+         (dotimes (i 95)
+           (let ((elt (aref docs i)))
+             (when elt
+               (string-match ".*" elt)
+               (setq elt (match-string 0 elt))
+               (if (>= (length elt) 17)
+                   (setq elt (concat (substring elt 0 14) "...")))
+               (if (< (point) (point-max))
+                   (move-to-column (* 20 (/ n lines)) t))
+               (insert (+ i ?\s) ?: elt)
+               (if (< (point) (point-max))
+                   (forward-line 1)
+                 (insert "\n"))
+               (setq n (1+ n))
+               (if (= (% n lines) 0)
+                   (goto-char pos))))))
+       (goto-char (point-max))
+       (insert "\n"
+               "character(s)\tcategory mnemonics\n"
+               "------------\t------------------")
        (describe-vector table 'help-describe-category-set)
-       (let ((docs (char-table-extra-slot table 0)))
-         (if (or (not (vectorp docs)) (/= (length docs) 95))
-             (insert "Invalid first extra slot in this char table\n")
-           (insert "Meanings of mnemonic characters are:\n")
-           (dotimes (i 95)
-             (let ((elt (aref docs i)))
-               (when elt
-                 (insert (+ i ?\s) ": " elt "\n"))))
-           (while (setq table (char-table-parent table))
-             (insert "\nThe parent category table is:")
-             (describe-vector table 'help-describe-category-set))))))))
+       (insert "Legend of category mnemonics:\n")
+       (dotimes (i 95)
+         (let ((elt (aref docs i)))
+           (when elt
+             (if (string-match "\n" elt)
+                 (setq elt (substring elt (match-end 0))))
+             (insert (+ i ?\s) ": " elt "\n"))))
+       (while (setq table (char-table-parent table))
+         (insert "\nThe parent category table is:")
+         (describe-vector table 'help-describe-category-set))))))
 
 (provide 'help-fns)