1728 |
"Exit a debugging session cleanly by killing the gdb buffers and resetting |
"Exit a debugging session cleanly by killing the gdb buffers and resetting |
1729 |
the source buffers." |
the source buffers." |
1730 |
(dolist (buffer (buffer-list)) |
(dolist (buffer (buffer-list)) |
1731 |
(if (not (eq buffer gud-comint-buffer)) |
(unless (eq buffer gud-comint-buffer) |
1732 |
(with-current-buffer buffer |
(with-current-buffer buffer |
1733 |
(if (memq gud-minor-mode '(gdba pdb)) |
(if (memq gud-minor-mode '(gdba pdb)) |
1734 |
(if (string-match "^\*.+*$" (buffer-name)) |
(if (string-match "\\`\\*.+\\*\\'" (buffer-name)) |
1735 |
(kill-buffer nil) |
(kill-buffer nil) |
1736 |
(gdb-remove-breakpoint-icons (point-min) (point-max) t) |
(gdb-remove-breakpoint-icons (point-min) (point-max) t) |
1737 |
(setq gud-minor-mode nil) |
(setq gud-minor-mode nil) |
1738 |
(kill-local-variable 'tool-bar-map) |
(kill-local-variable 'tool-bar-map) |
1739 |
(setq gud-running nil)))))) |
(setq gud-running nil)))))) |
1740 |
(when (markerp gdb-overlay-arrow-position) |
(when (markerp gdb-overlay-arrow-position) |
1741 |
(move-marker gdb-overlay-arrow-position nil) |
(move-marker gdb-overlay-arrow-position nil) |
1742 |
(setq gdb-overlay-arrow-position nil)) |
(setq gdb-overlay-arrow-position nil)) |
2013 |
|
|
2014 |
(provide 'gdb-ui) |
(provide 'gdb-ui) |
2015 |
|
|
2016 |
;;; arch-tag: e9fb00c5-74ef-469f-a088-37384caae352 |
;; arch-tag: e9fb00c5-74ef-469f-a088-37384caae352 |
2017 |
;;; gdb-ui.el ends here |
;;; gdb-ui.el ends here |