diff options
| author | blasty <peter@haxx.in> | 2026-07-24 16:29:00 +0200 |
|---|---|---|
| committer | blasty <peter@haxx.in> | 2026-07-24 16:29:00 +0200 |
| commit | 57147bde375ab55e14deb52dd18d2c5706fec4cc (patch) | |
| tree | d68109adbb5ccf0f716f43f0c6c89cb7fd215f94 | |
| parent | palette: give the command palette side padding (80% width, max 120) (diff) | |
| download | ida-tui-57147bde375ab55e14deb52dd18d2c5706fec4cc.tar.gz ida-tui-57147bde375ab55e14deb52dd18d2c5706fec4cc.tar.xz ida-tui-57147bde375ab55e14deb52dd18d2c5706fec4cc.zip | |
palette: fix results width (were compounded narrower than the modal)
The extra `CommandPalette CommandList { width: 80% }` rule set the results list to
80% of the already-80% container -> ~64%, so the results were visibly narrower
than the input/modal. Drop it and instead pin the overlay `#--results` to 100% of
the palette Vertical, so the results span the full modal width. Verified the
input/results width relationship now matches the stock palette exactly (results =
modal width, input 2 cols narrower from its border) at 80% scale.
| -rw-r--r-- | idatui/app.py | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/idatui/app.py b/idatui/app.py index 75a3f5a..3e84c6f 100644 --- a/idatui/app.py +++ b/idatui/app.py @@ -2452,9 +2452,10 @@ class IdaTui(App): #xref-title { dock: top; height: 1; background: $accent; color: $text; padding: 0 1; } #xref-list { height: auto; max-height: 100%; } SymbolPalette { align: center middle; } - /* Give the stock Ctrl+P command palette side padding instead of full width. */ + /* Give the stock Ctrl+P command palette side padding instead of full width; + the input + results inherit this width (results is an overlay, so pin it). */ CommandPalette > Vertical { width: 80%; max-width: 120; } - CommandPalette #--results, CommandPalette CommandList { width: 80%; max-width: 120; } + CommandPalette #--results { width: 100%; } #pal-box { width: 96; max-width: 92%; height: auto; max-height: 80%; border: thick $accent; background: $panel; } #pal-title { dock: top; height: 1; background: $accent; color: $text; padding: 0 1; } |
