| commit | 76367d23146136b457b1494285b807437a9fec60 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Wed Sep 25 08:27:51 2024 -0600 |
| committer | Tom Tromey <tromey@adacore.com> | Fri Nov 01 11:06:47 2024 -0600 |
| tree | 29cec25266e8d522ba7a135659699542885af03d | |
| parent | 893e4fd6231922495175b701a6c44b665e91cd7e [diff] |
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>