diff man/reftex.texi @ 48884:f774c94b3b5e

(gdba-marker-filter, gdb-output-burst): Merge and rename gud-gdba-marker-filter. (gdb-append-to-inferior-io): Only pop up IO buffer if there is output. (gdb-make-instance): Remove (put into gdba). Use gdb-instance-enqueue-input instead of gdb-instance-enqueue-idle-input for user functions. (gdb-instance-target-string): Simplify. (in-gdb-instance-context): Remove. Expand Commentary.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 17 Dec 2002 23:40:06 +0000
parents 0a70200bde27
children 23a1cea22d13
line wrap: on
line diff