1283 |
|
|
1284 |
|
|
1285 |
(if (looking-at "[0-9]") |
(if (looking-at "[0-9]") |
1286 |
(setq line (string-to-int (buffer-substring |
(setq line (string-to-number (buffer-substring |
1287 |
(point) |
(point) |
1288 |
(progn (skip-chars-forward "0-9") |
(progn (skip-chars-forward "0-9") |
1289 |
(point)))))) |
(point)))))) |
1290 |
(search-forward ",") |
(search-forward ",") |
1291 |
(if (looking-at "[0-9]") |
(if (looking-at "[0-9]") |
1292 |
(setq startpos (string-to-int (buffer-substring |
(setq startpos (string-to-number (buffer-substring |
1293 |
(point) |
(point) |
1294 |
(progn (skip-chars-forward "0-9") |
(progn (skip-chars-forward "0-9") |
1295 |
(point))))))) |
(point))))))) |
1296 |
;; Leave point on the next line of the tags file. |
;; Leave point on the next line of the tags file. |
1297 |
(forward-line 1) |
(forward-line 1) |
1298 |
(cons tag-text (cons line startpos)))) |
(cons tag-text (cons line startpos)))) |