diff options
| author | Glenn Morris | 2007-09-17 07:01:41 +0000 |
|---|---|---|
| committer | Glenn Morris | 2007-09-17 07:01:41 +0000 |
| commit | af751646bdd75378f4e62d549321e9a8080d018c (patch) | |
| tree | bca1dda8ecd8dcab9235b94f841f7da630408864 | |
| parent | 650015841052f05ea3cfbd47d9a618ba83da96ff (diff) | |
| download | emacs-af751646bdd75378f4e62d549321e9a8080d018c.tar.gz emacs-af751646bdd75378f4e62d549321e9a8080d018c.zip | |
Joe Wells <jbw at macs.hw.ac.uk> (tiny change)
(tex-compilation-parse-errors): Also match TeX `--file-line-error'
format.
| -rw-r--r-- | lisp/ChangeLog | 5 | ||||
| -rw-r--r-- | lisp/textmodes/tex-mode.el | 3 |
2 files changed, 7 insertions, 1 deletions
diff --git a/lisp/ChangeLog b/lisp/ChangeLog index 14ccb0b2855..ce68071ddda 100644 --- a/lisp/ChangeLog +++ b/lisp/ChangeLog | |||
| @@ -1,3 +1,8 @@ | |||
| 1 | 2007-09-17 Glenn Morris <rgm@gnu.org> | ||
| 2 | |||
| 3 | * textmodes/tex-mode.el (tex-compilation-parse-errors): Prefer the | ||
| 4 | filename from `--file-line-error', if it is available. | ||
| 5 | |||
| 1 | 2007-09-17 Joe Wells <jbw@macs.hw.ac.uk> (tiny change) | 6 | 2007-09-17 Joe Wells <jbw@macs.hw.ac.uk> (tiny change) |
| 2 | 7 | ||
| 3 | * textmodes/tex-mode.el (tex-compilation-parse-errors): Also match | 8 | * textmodes/tex-mode.el (tex-compilation-parse-errors): Also match |
diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el index c4380c59d9b..73075ce0598 100644 --- a/lisp/textmodes/tex-mode.el +++ b/lisp/textmodes/tex-mode.el | |||
| @@ -2016,7 +2016,8 @@ for the error messages." | |||
| 2016 | (goto-char compilation-parsing-end) | 2016 | (goto-char compilation-parsing-end) |
| 2017 | ;; Parse messages. | 2017 | ;; Parse messages. |
| 2018 | (while (and (not (or found-desired (eobp))) | 2018 | (while (and (not (or found-desired (eobp))) |
| 2019 | (prog1 (re-search-forward "^! " nil 'move) | 2019 | (prog1 (re-search-forward |
| 2020 | "^\\(?:[^:\n]+:[[:digit:]]+:\\|!\\) " nil 'move) | ||
| 2020 | (setq begin-of-error (match-beginning 0) | 2021 | (setq begin-of-error (match-beginning 0) |
| 2021 | end-of-error (match-end 0))) | 2022 | end-of-error (match-end 0))) |
| 2022 | (re-search-forward | 2023 | (re-search-forward |