2658 |
(unless (next-property-change (point-min)) |
(unless (next-property-change (point-min)) |
2659 |
(save-excursion |
(save-excursion |
2660 |
(let ((inhibit-read-only t) |
(let ((inhibit-read-only t) |
2661 |
(case-fold-search t)) |
(case-fold-search t) |
2662 |
|
paragraph-markers) |
2663 |
(goto-char (point-min)) |
(goto-char (point-min)) |
2664 |
(when (looking-at "^\\(File: [^,: \t]+,?[ \t]+\\)?") |
(when (looking-at "^\\(File: [^,: \t]+,?[ \t]+\\)?") |
2665 |
(goto-char (match-end 0)) |
(goto-char (match-end 0)) |
2733 |
(goto-char (point-min)) |
(goto-char (point-min)) |
2734 |
(while (re-search-forward "\\(\\*Note[ \n\t]*\\)\\([^:]*\\)\\(:[^.,:(]*\\(([^)]*)[^.,:]*\\)?[,:]?\n?\\)" nil t) |
(while (re-search-forward "\\(\\*Note[ \n\t]*\\)\\([^:]*\\)\\(:[^.,:(]*\\(([^)]*)[^.,:]*\\)?[,:]?\n?\\)" nil t) |
2735 |
(unless (= (char-after (1- (match-beginning 0))) ?\") ; hack |
(unless (= (char-after (1- (match-beginning 0))) ?\") ; hack |
2736 |
(let ((next (point)) |
(let ((start (match-beginning 0)) |
2737 |
|
(next (point)) |
2738 |
(hide-tag Info-hide-note-references) |
(hide-tag Info-hide-note-references) |
2739 |
other-tag) |
other-tag) |
2740 |
(when hide-tag |
(when hide-tag |
2741 |
;; *Note is often used where *note should have been |
;; *Note is often used where *note should have been |
2742 |
(goto-char (match-beginning 0)) |
(goto-char start) |
2743 |
(skip-syntax-backward " ") |
(skip-syntax-backward " ") |
2744 |
(setq other-tag |
(setq other-tag |
2745 |
(cond |
(cond |
2752 |
(goto-char next)) |
(goto-char next)) |
2753 |
(if hide-tag |
(if hide-tag |
2754 |
(add-text-properties (match-beginning 1) (match-end 1) |
(add-text-properties (match-beginning 1) (match-end 1) |
2755 |
(if other-tag |
'(invisible t))) |
|
(list 'display other-tag) |
|
|
'(invisible t)))) |
|
2756 |
(add-text-properties (match-beginning 2) (match-end 2) |
(add-text-properties (match-beginning 2) (match-end 2) |
2757 |
'(font-lock-face info-xref |
'(font-lock-face info-xref |
2758 |
mouse-face highlight |
mouse-face highlight |
2759 |
help-echo "mouse-2: go to this node")) |
help-echo "mouse-2: go to this node")) |
2760 |
(when (eq Info-hide-note-references t) |
(when (eq Info-hide-note-references t) |
2761 |
(add-text-properties (match-beginning 3) (match-end 3) |
(add-text-properties (match-beginning 3) (match-end 3) |
2762 |
(if (string-match "\n" (match-string 0)) |
'(invisible t))) |
2763 |
'(display "\n") |
(when other-tag |
2764 |
'(invisible t))))))) |
(goto-char (match-beginning 1)) |
2765 |
|
(insert other-tag)) |
2766 |
|
(when (or hide-tag (eq Info-hide-note-references t)) |
2767 |
|
(setq paragraph-markers (cons (set-marker (make-marker) start) |
2768 |
|
paragraph-markers)))))) |
2769 |
|
|
2770 |
|
(let ((fill-nobreak-invisible t)) |
2771 |
|
(goto-char (point-max)) |
2772 |
|
(while paragraph-markers |
2773 |
|
(let ((m (car paragraph-markers))) |
2774 |
|
(setq paragraph-markers (cdr paragraph-markers)) |
2775 |
|
(when (< m (point)) |
2776 |
|
(goto-char m) |
2777 |
|
(fill-paragraph nil) |
2778 |
|
(backward-paragraph 1)) |
2779 |
|
(set-marker m nil)))) |
2780 |
|
|
2781 |
(goto-char (point-min)) |
(goto-char (point-min)) |
2782 |
(if (and (search-forward "\n* Menu:" nil t) |
(if (and (search-forward "\n* Menu:" nil t) |