diff options
author | Richard M. Stallman <[email protected]> | 1994-04-01 10:10:24 +0000 |
---|---|---|
committer | Richard M. Stallman <[email protected]> | 1994-04-01 10:10:24 +0000 |
commit | 9a87b4303224437c3217365a8f39b625effa83e7 (patch) | |
tree | 668c285d4e5f7d3883eeb3d592fd1cebdbc40065 /lisp/info.el | |
parent | dc49df96e3c6145656e417df28a68116bc6d3355 (diff) |
(Info-fontify-node): Add mouse-face properties.
Increase size limit for fontifying to 30000.
Diffstat (limited to 'lisp/info.el')
-rw-r--r-- | lisp/info.el | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/lisp/info.el b/lisp/info.el index d43fece232..0fe52e844e 100644 --- a/lisp/info.el +++ b/lisp/info.el @@ -1508,18 +1508,22 @@ The command is found by looking up in Emacs manual's Command Index." (looking-at "[ \t]*[^:, \t\n]+:[ \t]+\\([^:,\t\n]+\\),?") (goto-char (match-end 0)) (put-text-property (match-beginning 1) (match-end 1) - 'face 'info-xref)))) + 'face 'info-xref) + (put-text-property (match-beginning 1) (match-end 1) + 'mouse-face 'highlight)))) (goto-char (point-min)) (while (re-search-forward "\\*Note[ \n\t]*\\([^:]*\\):" nil t) (if (= (char-after (1- (match-beginning 0))) ?\") ; hack nil (put-text-property (match-beginning 1) (match-end 1) - 'face 'info-xref))) + 'face 'info-xref) + (put-text-property (match-beginning 1) (match-end 1) + 'mouse-face 'highlight))) (goto-char (point-min)) (if (and (search-forward "\n* Menu:" nil t) (not (string-match "\\<Index\\>" Info-current-node)) ;; Don't take time to annotate huge menus - (< (- (point-max) (point)) 10000)) + (< (- (point-max) (point)) 30000)) (let ((n 0)) (while (re-search-forward "^\\* \\([^:\t\n]*\\):" nil t) (setq n (1+ n)) @@ -1528,7 +1532,9 @@ The command is found by looking up in Emacs manual's Command Index." (1+ (match-beginning 0)) 'face 'info-menu-5)) (put-text-property (match-beginning 1) (match-end 1) - 'face 'info-node)))) + 'face 'info-node) + (put-text-property (match-beginning 1) (match-end 1) + 'mouse-face 'highlight)))) (set-buffer-modified-p nil)))) (provide 'info) |