diff options
| author | blasty <blasty@local> | 2026-07-24 16:26:42 +0200 |
|---|---|---|
| committer | blasty <blasty@local> | 2026-07-24 16:26:42 +0200 |
| commit | 7601d5e18af5cea8abdf37a132806f52df26f8c8 (patch) | |
| tree | 9879e01b2b66e0512075d1874aa3d82aea0b3073 /docs | |
| parent | palette: replace the stock Ctrl+P command palette with real ida-tui actions (diff) | |
| download | ida-tui-7601d5e18af5cea8abdf37a132806f52df26f8c8.tar.gz ida-tui-7601d5e18af5cea8abdf37a132806f52df26f8c8.tar.xz ida-tui-7601d5e18af5cea8abdf37a132806f52df26f8c8.zip | |
palette: give the command palette side padding (80% width, max 120)
The stock Ctrl+P palette spans the full terminal width, which looks off on wide
terminals. Constrain CommandPalette > Vertical (and the #--results/CommandList
overlay) to 80% width capped at 120 cols; it's already center-aligned, so this
leaves symmetric left/right margins.
Verified via pilot: input-row width 78/110/118 for terminals 100/140/200 (vs
full width before), and the palette scenarios still pass (7/7).
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions