3339 |
(second-colon |
(second-colon |
3340 |
(string-match ":" string (1+ first-colon))) |
(string-match ":" string (1+ first-colon))) |
3341 |
(filename (substring string 1 first-colon)) |
(filename (substring string 1 first-colon)) |
3342 |
(fileline (string-to-int |
(fileline (string-to-number |
3343 |
(substring string (1+ first-colon) second-colon)))) |
(substring string (1+ first-colon) second-colon)))) |
3344 |
(setq term-pending-frame (cons filename fileline)))) |
(setq term-pending-frame (cons filename fileline)))) |
3345 |
((= (aref string 0) ?/) |
((= (aref string 0) ?/) |