Yuan Fu 9dccaf8a5c
Add store/restore window configuration feature for gdb-mi ...
Add a feature that allows a user to save a gdb window
configuration (window layout) to a file with
'gdb-save-window-configuration' and load it back with
'gdb-load-window-configuration'. Set a default window configuration
by setting 'gdb-default-window-configuration-file'.
Add an option to make gdb preserve the window configuration
that the user had before starting gdb. In window.el, add
'with-window-non-dedicated'.
* lisp/progmodes/gdb-mi.el (top/level): Require 'pcase' and 'cl-seq'.
(gdb--window-configuration-before): New variable.
(gdb-restore-window-configuration-after-quit): New option.
(gdb-window-configuration-directory,
gdb-default-window-configuration-file): New variables.
(gdb): Save configuration on startup.
(gud-menu-map): Add "Load Layout" and "Save Layout" to menu. Add
"Restore Layout After Quit" button to menu. Rename "Restore Window
Layout" to "Restore Default Layout", add some help echo, and move it
from "GDB-MI" menu to "GDB-WINDOWs" menu.
(gdb-toggle-restore-window-configuration): New function.
(gdb-get-source-buffer): New function, extracted out of
'gdb-restore-window'.
(gdb-setup-windows): Add a condition branch that loads default window
configuration when available. Fix docstring.
(gdb-buffer-p, gdb-function-buffer-p, gdb--buffer-type,
gdb-save-window-configuration, gdb-load-window-configuration): New
functions.
(gdb-restore-windows): Edit docstring to mention
'gdb-default-window-configuration-file'.
(gdb-reset): Restore window configuration after quit.
* lisp/window.el (with-window-non-dedicated): New macro.
2020-03-15 16:47:43 +01:00
2020-01-16 23:06:04 -08:00
2020-03-10 12:00:51 -04:00
2020-03-07 07:50:28 -08:00
2020-03-14 14:59:45 -04:00
2020-03-01 01:56:03 +01:00
2020-03-07 07:50:28 -08:00
2020-03-11 02:22:04 +01:00
2020-03-14 12:45:03 +01:00
2020-01-01 00:59:52 +00:00
2020-03-04 13:57:58 -08:00
2020-01-01 00:59:52 +00:00
2020-02-01 07:50:10 -08:00
2020-02-13 07:50:24 -08:00
2020-02-01 09:28:30 -08:00
2020-03-13 10:54:56 +01:00
2020-01-01 00:59:52 +00:00
2020-01-24 23:04:34 +01:00
2020-02-25 12:04:40 +01:00
2020-02-20 16:05:18 +01:00
2020-03-15 16:47:43 +01:00
2020-03-08 14:07:04 -04:00
2020-03-14 15:16:51 -04:00
2020-02-23 16:45:50 -08:00
2020-03-10 01:34:25 +02:00
2020-01-01 00:59:52 +00:00
2020-02-13 07:50:24 -08:00
2020-02-09 14:33:14 +00:00
2020-02-13 07:50:24 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-04 19:09:14 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-01 22:27:23 +01:00
2020-01-16 23:06:04 -08:00
2020-01-01 00:59:52 +00:00
2020-02-06 10:41:26 -05:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-02-20 16:05:18 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-01-01 00:59:52 +00:00
2020-02-25 02:22:29 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-11 10:36:59 +02:00
2020-01-01 00:59:52 +00:00
2020-01-30 01:22:19 +02:00
2020-01-01 00:59:52 +00:00
2020-01-11 10:31:44 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-01 07:50:10 -08:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:45:50 -08:00
2020-01-23 14:44:27 +01:00
2020-02-04 02:26:35 +01:00
2020-01-01 00:59:52 +00:00
2020-01-04 19:13:23 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:45:50 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-01-17 06:34:00 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-22 13:58:52 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-07 12:15:43 -08:00
2020-01-05 11:50:31 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-23 22:57:23 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 02:36:54 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-12 23:16:41 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-06 02:27:32 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-03 10:52:27 -05:00
2020-01-01 00:59:52 +00:00
2020-02-25 18:15:12 -05:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-03-07 13:59:50 +00:00
2020-03-10 12:03:11 -04:00
2020-02-25 18:15:12 -05:00
2020-01-01 00:59:52 +00:00
2020-02-19 13:48:27 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-01-23 22:57:23 +01:00
2020-02-20 16:05:18 +01:00
2020-01-15 02:02:53 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-13 19:57:44 -05:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-01 10:04:27 -08:00
2020-01-01 00:59:52 +00:00
2020-03-04 14:46:46 +01:00
2020-01-01 17:38:42 +01:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-21 01:09:04 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-07 13:50:42 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-03-13 12:24:25 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-09 14:33:14 +00:00
2020-01-01 00:59:52 +00:00
2020-01-16 23:06:04 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 01:08:16 +00:00
2020-01-01 00:59:52 +00:00
2020-03-04 02:05:55 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-23 16:45:50 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-02-20 16:03:30 +01:00
2020-03-04 13:57:58 -08:00
2020-01-01 00:59:52 +00:00
2020-01-23 18:42:02 -08:00
2020-02-15 10:47:08 +02:00
2020-01-01 00:59:52 +00:00
2020-03-04 05:50:26 +01:00
2020-01-27 23:17:10 -08:00
2020-01-16 23:06:04 -08:00
2020-03-13 07:50:33 -07:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-13 07:50:33 -07:00
2020-02-29 23:49:17 +02:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-07 12:15:43 -08:00
2020-02-21 11:18:04 +02:00
2020-02-20 16:05:18 +01:00
2020-01-01 00:59:52 +00:00
2020-01-09 13:40:14 +01:00
2020-01-01 00:59:52 +00:00
2020-01-24 09:16:19 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-03-14 12:01:21 +02:00
2020-01-01 00:59:52 +00:00
2020-02-18 12:47:32 -05:00
2020-03-01 22:54:32 -05:00
2020-01-01 00:59:52 +00:00
2020-02-06 00:27:37 +02:00
2020-01-01 00:59:52 +00:00
2020-03-10 01:39:05 +02:00
2020-03-15 16:47:43 +01:00
2020-01-01 00:59:52 +00:00
2020-01-20 07:50:26 -08:00
2020-01-19 23:41:23 -08:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
2020-01-01 00:59:52 +00:00
9dccaf8a5c