1352 |
(if (looking-at "(") |
(if (looking-at "(") |
1353 |
(skip-chars-forward "^)"))) |
(skip-chars-forward "^)"))) |
1354 |
(skip-chars-backward " ") |
(skip-chars-backward " ") |
|
;; Skip trailing period. |
|
|
(if (equal (char-before) ?.) |
|
|
(forward-char -1)) |
|
1355 |
(point)))) |
(point)))) |
1356 |
|
|
1357 |
(defun Info-next () |
(defun Info-next () |
1493 |
(if (looking-at ":") |
(if (looking-at ":") |
1494 |
(buffer-substring-no-properties beg (1- (point))) |
(buffer-substring-no-properties beg (1- (point))) |
1495 |
(skip-chars-forward " \t\n") |
(skip-chars-forward " \t\n") |
1496 |
(Info-following-node-name (if multi-line "^,\t" "^,\t\n")))) |
(Info-following-node-name (if multi-line "^.,\t" "^.,\t\n")))) |
1497 |
(replace-regexp-in-string "[ \n]+" " " str))) |
(replace-regexp-in-string "[ \n]+" " " str))) |
1498 |
|
|
1499 |
;; No one calls this. |
;; No one calls this. |