1613 |
(compilation-set-window-height w) |
(compilation-set-window-height w) |
1614 |
|
|
1615 |
(when highlight-regexp |
(when highlight-regexp |
1616 |
|
(if (timerp next-error-highlight-timer) |
1617 |
|
(cancel-timer next-error-highlight-timer)) |
1618 |
(unless compilation-highlight-overlay |
(unless compilation-highlight-overlay |
1619 |
(setq compilation-highlight-overlay |
(setq compilation-highlight-overlay |
1620 |
(make-overlay (point-min) (point-min))) |
(make-overlay (point-min) (point-min))) |
1634 |
(move-overlay compilation-highlight-overlay |
(move-overlay compilation-highlight-overlay |
1635 |
(point) end (current-buffer))) |
(point) end (current-buffer))) |
1636 |
(if (numberp next-error-highlight) |
(if (numberp next-error-highlight) |
1637 |
(sit-for next-error-highlight)) |
(setq next-error-highlight-timer |
1638 |
(if (not (eq next-error-highlight t)) |
(run-at-time next-error-highlight nil 'delete-overlay |
1639 |
|
compilation-highlight-overlay))) |
1640 |
|
(if (not (or (eq next-error-highlight t) |
1641 |
|
(numberp next-error-highlight))) |
1642 |
(delete-overlay compilation-highlight-overlay)))))) |
(delete-overlay compilation-highlight-overlay)))))) |
1643 |
(when (and (eq next-error-highlight 'fringe-arrow)) |
(when (and (eq next-error-highlight 'fringe-arrow)) |
1644 |
(set (make-local-variable 'overlay-arrow-position) |
(set (make-local-variable 'overlay-arrow-position) |