# HG changeset patch # User Richard M. Stallman # Date 765195024 0 # Node ID ca39bae3744d97ae3dee780c4d55c5c84a460a28 # Parent 1d60a75efa87420f0a36091bfc35bc6f8f36e655 (Info-fontify-node): Add mouse-face properties. Increase size limit for fontifying to 30000. diff -r 1d60a75efa87 -r ca39bae3744d lisp/info.el --- a/lisp/info.el Fri Apr 01 08:25:12 1994 +0000 +++ b/lisp/info.el Fri Apr 01 10:10:24 1994 +0000 @@ -1508,18 +1508,22 @@ (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 "\\" 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 @@ (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)