changeset 60749:3b3b017d62ab

(tex-view): If tex-shell process is not running, restart it.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 19 Mar 2005 14:45:20 +0000
parents e83f2fedadd4
children c296a98a9382
files lisp/textmodes/tex-mode.el
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/lisp/textmodes/tex-mode.el	Sat Mar 19 14:37:59 2005 +0000
+++ b/lisp/textmodes/tex-mode.el	Sat Mar 19 14:45:20 2005 +0000
@@ -2237,6 +2237,9 @@
   (interactive)
   (or tex-dvi-view-command
       (error "You must set `tex-dvi-view-command'"))
+  ;; Restart the TeX shell if necessary.
+  (or (tex-shell-running)
+      (tex-start-shell))
   (let ((tex-dvi-print-command (eval tex-dvi-view-command)))
     (tex-print)))