diff --git a/preview.el.in b/preview.el.in index 89b767ad..a402544f 100644 --- a/preview.el.in +++ b/preview.el.in @@ -662,6 +662,7 @@ and tries to restart Ghostscript if necessary." (substring (current-time-string) 0 -5)) (forward-char 1) (TeX-command-mode-line process) + (if (eq status 'exit) (force-mode-line-update t)) (when (memq status '(exit signal)) ;; process died. ;; Throw away culprit, go on.