diff options
| author | blasty <peter@haxx.in> | 2026-07-24 16:26:42 +0200 |
|---|---|---|
| committer | blasty <peter@haxx.in> | 2026-07-24 16:26:42 +0200 |
| commit | 6ca403bdc4aa391a0db5182706934d41cb6bc63c (patch) | |
| tree | c06abe984f43d6198421f119f0366d2ebe688435 /docs | |
| parent | palette: replace the stock Ctrl+P command palette with real ida-tui actions (diff) | |
| download | ida-tui-6ca403bdc4aa391a0db5182706934d41cb6bc63c.tar.gz ida-tui-6ca403bdc4aa391a0db5182706934d41cb6bc63c.tar.xz ida-tui-6ca403bdc4aa391a0db5182706934d41cb6bc63c.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