3804 |
(hl Info-history-list) |
(hl Info-history-list) |
3805 |
res) |
res) |
3806 |
(if (string-match "(\\([^)]+\\))\\([^)]*\\)" node) |
(if (string-match "(\\([^)]+\\))\\([^)]*\\)" node) |
3807 |
(setq file (Info-find-file (match-string 1 node)) |
(setq file (Info-find-file (match-string 1 node) t) |
3808 |
node (if (equal (match-string 2 node) "") |
node (if (equal (match-string 2 node) "") |
3809 |
"Top" |
"Top" |
3810 |
(match-string 2 node)))) |
(match-string 2 node)))) |
3909 |
(hl Info-history-list) |
(hl Info-history-list) |
3910 |
res) |
res) |
3911 |
(if (string-match "(\\([^)]+\\))\\([^)]*\\)" node) |
(if (string-match "(\\([^)]+\\))\\([^)]*\\)" node) |
3912 |
(setq file (Info-find-file (match-string 1 node)) |
(setq file (Info-find-file (match-string 1 node) t) |
3913 |
node (if (equal (match-string 2 node) "") |
node (if (equal (match-string 2 node) "") |
3914 |
"Top" |
"Top" |
3915 |
(match-string 2 node)))) |
(match-string 2 node)))) |