# HG changeset patch
# User Eli Zaretskii <eliz@gnu.org>
# Date 1111243520 0
# Node ID 3b3b017d62ab2656656e638ed8f1aa0f514337b7
# Parent  e83f2fedadd40df41c2ddc38e533a148ad360a08
(tex-view): If tex-shell process is not running, restart it.

diff -r e83f2fedadd4 -r 3b3b017d62ab lisp/textmodes/tex-mode.el
--- 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)))