802 |
"A comint send filter for gdb. |
"A comint send filter for gdb. |
803 |
This filter may simply queue input for a later time." |
This filter may simply queue input for a later time." |
804 |
(with-current-buffer gud-comint-buffer |
(with-current-buffer gud-comint-buffer |
805 |
(remove-text-properties (point-min) (point-max) '(face))) |
(let ((inhibit-read-only t)) |
806 |
|
(remove-text-properties (point-min) (point-max) '(face)))) |
807 |
(let ((item (concat string "\n"))) |
(let ((item (concat string "\n"))) |
808 |
(if gud-running |
(if gud-running |
809 |
(progn |
(progn |