diff lisp/ChangeLog @ 37942:0f57d8b106f1

fix live process/dead buffer bub on w32
author Sam Steingold <sds@gnu.org>
date Tue, 29 May 2001 15:47:01 +0000
parents 818abb102ef5
children e4f0e3e1c22e
line wrap: on
line diff
--- a/lisp/ChangeLog	Tue May 29 14:31:01 2001 +0000
+++ b/lisp/ChangeLog	Tue May 29 15:47:01 2001 +0000
@@ -1,3 +1,13 @@
+2001-05-29  Sam Steingold  <sds@gnu.org>
+
+	* textmodes/tex-mode.el (tex-feed-input, tex-display-shell):
+	Use `tex-shell-buf'.
+	(tex-shell-proc): Use `tex-shell-running'.
+	(tex-shell-buf-no-error): New function.
+	(tex-send-tex-command): Use it.
+	(tex-shell-running): Kill tex-shell when the buffer is dead for w32.
+	(tex-kill-job): Check the process before calling `quit-process'.
+
 2001-05-29  Gerd Moellmann  <gerd@gnu.org>
 
 	* international/utf-8.el (ccl-decode-mule-utf-8): Handle