diff options
author | Tom de Vries <tdevries@suse.de> | 2023-12-09 14:44:49 +0100 |
---|---|---|
committer | Tom de Vries <tdevries@suse.de> | 2023-12-09 14:44:49 +0100 |
commit | 2540e3a87edcb734ef448c3a68ac4827e298f76f (patch) | |
tree | d7cfdc5e225937e7e70eede65a09d97a4f436df5 /ltversion.m4 | |
parent | 95385060771b0cac95a39320c44eca857fb177ae (diff) | |
download | gdb-2540e3a87edcb734ef448c3a68ac4827e298f76f.zip gdb-2540e3a87edcb734ef448c3a68ac4827e298f76f.tar.gz gdb-2540e3a87edcb734ef448c3a68ac4827e298f76f.tar.bz2 |
[gdb/tui] Handle shared border in fixed-sized layout
In tui_layout_split::apply I noticed that for variable-size layouts we take
share_box into account by decreasing used_size:
...
used_size += info[i].size;
if (info[i].share_box)
--used_size;
...
but not for fixed-size layouts:
...
if (info[i].min_size == info[i].max_size)
available_size -= info[i].min_size;
...
Fix this by increasing available_size for fixed-size layouts with shared box.
Tested on x86_64-linux.
Approved-By: Tom Tromey <tom@tromey.com>
Diffstat (limited to 'ltversion.m4')
0 files changed, 0 insertions, 0 deletions