diff options
| author | Nick Roberts | 2006-03-10 20:06:33 +0000 |
|---|---|---|
| committer | Nick Roberts | 2006-03-10 20:06:33 +0000 |
| commit | a2c7d24fafbfb091fc9f74afa1e1c77d51047768 (patch) | |
| tree | a7098ad763563a48dae6ff034ebc1eb4fa7d9766 | |
| parent | 3cf61a4fd62cc0188122c5842acb1c48a585e6a6 (diff) | |
| download | emacs-a2c7d24fafbfb091fc9f74afa1e1c77d51047768.tar.gz emacs-a2c7d24fafbfb091fc9f74afa1e1c77d51047768.zip | |
(gdb-remove-text-properties): Rename from
gdb-remove-mouse-face and remove help-echo too.
(gdb-enqueue-input): Correct conditional clause.
| -rw-r--r-- | lisp/progmodes/gdb-ui.el | 15 |
1 files changed, 8 insertions, 7 deletions
diff --git a/lisp/progmodes/gdb-ui.el b/lisp/progmodes/gdb-ui.el index a252884e448..e3e2e2f23c1 100644 --- a/lisp/progmodes/gdb-ui.el +++ b/lisp/progmodes/gdb-ui.el | |||
| @@ -1036,11 +1036,12 @@ This filter may simply queue input for a later time." | |||
| 1036 | ;; is a query, or other non-top-level prompt. | 1036 | ;; is a query, or other non-top-level prompt. |
| 1037 | 1037 | ||
| 1038 | (defun gdb-enqueue-input (item) | 1038 | (defun gdb-enqueue-input (item) |
| 1039 | (if (and gdb-prompting (not gud-running)) | 1039 | (if (not gud-running) |
| 1040 | (progn | 1040 | (if gdb-prompting |
| 1041 | (gdb-send-item item) | 1041 | (progn |
| 1042 | (gdb-send-item item) | ||
| 1042 | (setq gdb-prompting nil)) | 1043 | (setq gdb-prompting nil)) |
| 1043 | (push item gdb-input-queue))) | 1044 | (push item gdb-input-queue)))) |
| 1044 | 1045 | ||
| 1045 | (defun gdb-dequeue-input () | 1046 | (defun gdb-dequeue-input () |
| 1046 | (let ((queue gdb-input-queue)) | 1047 | (let ((queue gdb-input-queue)) |
| @@ -1191,7 +1192,7 @@ not GDB." | |||
| 1191 | ((eq sink 'user) | 1192 | ((eq sink 'user) |
| 1192 | (progn | 1193 | (progn |
| 1193 | (setq gud-running t) | 1194 | (setq gud-running t) |
| 1194 | (gdb-remove-mouse-face) | 1195 | (gdb-remove-text-properties) |
| 1195 | (if gdb-use-separate-io-buffer | 1196 | (if gdb-use-separate-io-buffer |
| 1196 | (setq gdb-output-sink 'inferior)))) | 1197 | (setq gdb-output-sink 'inferior)))) |
| 1197 | (t | 1198 | (t |
| @@ -1302,14 +1303,14 @@ happens to be appropriate." | |||
| 1302 | (defconst gdb-buffer-list | 1303 | (defconst gdb-buffer-list |
| 1303 | '(gdb-stack-buffer gdb-locals-buffer gdb-registers-buffer gdb-threads-buffer)) | 1304 | '(gdb-stack-buffer gdb-locals-buffer gdb-registers-buffer gdb-threads-buffer)) |
| 1304 | 1305 | ||
| 1305 | (defun gdb-remove-mouse-face () | 1306 | (defun gdb-remove-text-properties () |
| 1306 | (dolist (buffertype gdb-buffer-list) | 1307 | (dolist (buffertype gdb-buffer-list) |
| 1307 | (let ((buffer (gdb-get-buffer buffertype))) | 1308 | (let ((buffer (gdb-get-buffer buffertype))) |
| 1308 | (if buffer | 1309 | (if buffer |
| 1309 | (with-current-buffer buffer | 1310 | (with-current-buffer buffer |
| 1310 | (let ((inhibit-read-only t)) | 1311 | (let ((inhibit-read-only t)) |
| 1311 | (remove-text-properties | 1312 | (remove-text-properties |
| 1312 | (point-min) (point-max) '(mouse-face)))))))) | 1313 | (point-min) (point-max) '(mouse-face nil help-echo nil)))))))) |
| 1313 | 1314 | ||
| 1314 | ;; GUD displays the selected GDB frame. This might might not be the current | 1315 | ;; GUD displays the selected GDB frame. This might might not be the current |
| 1315 | ;; GDB frame (after up, down etc). If no GDB frame is visible but the last | 1316 | ;; GDB frame (after up, down etc). If no GDB frame is visible but the last |