1502 |
;; Skip node header line |
;; Skip node header line |
1503 |
(and (save-excursion (forward-line -1) |
(and (save-excursion (forward-line -1) |
1504 |
(looking-at "\^_")) |
(looking-at "\^_")) |
1505 |
(forward-line 1)) |
(forward-line (if backward -1 1))) |
1506 |
;; Skip Tag Table node |
;; Skip Tag Table node |
1507 |
(save-excursion |
(save-excursion |
1508 |
(and (search-backward "\^_" nil t) |
(and (search-backward "\^_" nil t) |
1540 |
(search-forward (concat "\n" osubfile ": ")) |
(search-forward (concat "\n" osubfile ": ")) |
1541 |
;; Skip that one. |
;; Skip that one. |
1542 |
(forward-line (if backward 0 1)) |
(forward-line (if backward 0 1)) |
1543 |
|
(if backward (forward-char -1)) |
1544 |
;; Make a list of all following subfiles. |
;; Make a list of all following subfiles. |
1545 |
;; Each elt has the form (VIRT-POSITION . SUBFILENAME). |
;; Each elt has the form (VIRT-POSITION . SUBFILENAME). |
1546 |
(while (not (if backward (bobp) (eobp))) |
(while (not (if backward (bobp) (eobp))) |
1579 |
;; Skip node header line |
;; Skip node header line |
1580 |
(and (save-excursion (forward-line -1) |
(and (save-excursion (forward-line -1) |
1581 |
(looking-at "\^_")) |
(looking-at "\^_")) |
1582 |
(forward-line 1)) |
(forward-line (if backward -1 1))) |
1583 |
;; Skip Tag Table node |
;; Skip Tag Table node |
1584 |
(save-excursion |
(save-excursion |
1585 |
(and (search-backward "\^_" nil t) |
(and (search-backward "\^_" nil t) |
1616 |
;; Use string-equal, not equal, to ignore text props. |
;; Use string-equal, not equal, to ignore text props. |
1617 |
(or (and (string-equal onode Info-current-node) |
(or (and (string-equal onode Info-current-node) |
1618 |
(equal ofile Info-current-file)) |
(equal ofile Info-current-file)) |
1619 |
(and isearch-mode isearch-wrapped (eq opoint opoint-min)) |
(and isearch-mode isearch-wrapped |
1620 |
|
(eq opoint (if isearch-forward opoint-min opoint-max))) |
1621 |
(setq Info-history (cons (list ofile onode opoint) |
(setq Info-history (cons (list ofile onode opoint) |
1622 |
Info-history)))))) |
Info-history)))))) |
1623 |
|
|