diff man/mini.texi @ 61114:e1f821140a5a

(gdb): (Re)-initialise gud-filter-pending-text. (gud-filter-pending-text): Move in front of gdb. (gud-overlay-arrow-position): New variable. (gud-sentinel, gud-display-line): Use it in place of overlay-arrow-position.
author Nick Roberts <nickrob@snap.net.nz>
date Tue, 29 Mar 2005 20:59:42 +0000
parents e6d77fce1453
children 80f8fd5fdea6 13796b0653c7
line wrap: on
line diff