(tex-view): If tex-shell process is not running, restart it.

diff --git a/lisp/textmodes/tex-mode.el b/lisp/textmodes/tex-mode.el
index d15b72c98babd871d02ece6a4f8fce4b83563539..7e5d9fee78b68aced98ad4e6d3980c49860dc3b8 100644 (file)
--- a/lisp/textmodes/tex-mode.el
+++ b/lisp/textmodes/tex-mode.el
@@ -2237,6 +2237,9 @@ because there is no standard value that would generally work."
   (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)))