diff options
| author | blasty <blasty@local> | 2026-07-24 16:29:00 +0200 |
|---|---|---|
| committer | blasty <blasty@local> | 2026-07-24 16:29:00 +0200 |
| commit | ac6abc6680fbb49ccfe78afb6268000fdb89d865 (patch) | |
| tree | 2e7dd613900a6633a38113772b15363b2ef0972d | |
| parent | palette: give the command palette side padding (80% width, max 120) (diff) | |
| download | ida-tui-ac6abc6680fbb49ccfe78afb6268000fdb89d865.tar.gz ida-tui-ac6abc6680fbb49ccfe78afb6268000fdb89d865.tar.xz ida-tui-ac6abc6680fbb49ccfe78afb6268000fdb89d865.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; } |
