Tom Tromey 76367d2314 Add gdb.events.tui_enabled ...

This adds a new event source so that Python scripts can track whether
or not the TUI is presently enabled.

v2 of the patch renames "status" -> "enabled".

Bug: https://sourceware.org/bugzilla/show_bug.cgi?id=32162
Reviewed-By: Eli Zaretskii <eliz@gnu.org>
Reviewed-by: Keith Seitz <keiths@redhat.com>

2024-11-01 11:06:47 -06:00

3.2 KiB

Raw Blame History

View Raw