diff src/intervals.c @ 5088:73a1b31b673f

(tex-send-command): Wait for output first, if text has not changed since previous tex-send-command. (tex-send-command-modified-tick): New buffer-local variable.
author Richard M. Stallman <rms@gnu.org>
date Sat, 20 Nov 1993 22:21:30 +0000
parents 99edf052bfa0
children d040c1a8ccbe
line wrap: on
line diff