Bug 11400 - tui cmd winheight behavior incorrect
Summary: tui cmd winheight behavior incorrect
Status: RESOLVED FIXED
Alias: None
Product: gdb
Classification: Unclassified
Component: tui (show other bugs)
Version: 7.1
: P2 normal
Target Milestone: 7.1
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2010-03-19 02:33 UTC by Rhys Ulerich
Modified: 2015-07-02 12:59 UTC (History)
3 users (show)

See Also:
Host: x86_64-unknown-linux-gnu
Target: x86_64-unknown-linux-gnu
Build: x86_64-unknown-linux-gnu
Last reconfirmed: 2012-10-29 00:00:00

Attachments
Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Rhys Ulerich 2010-03-19 02:33:31 UTC 
Neither decreasing the src winheight or increasing the cmd winheight causes the 
observed cmd winheight to increase.

1) Fire up gdbtui v7.1
2) winheight src -10
3) p (repeatedly)

Observe the window borders change but the scrolling cmd window stays in the same 
fixed region of the window.

1) Fire up gdbtui
2) winheight cmd +10
3) p (repeatedly)

Ditto.  Refreshing with 'refresh' helps neither case.

I expect that either action will cause the scrolling cmd region to increase in 
side.
Comment 1 Lionel Elie Mamane 2012-10-29 13:09:53 UTC 
Reproduced with GNU gdb (GDB) 7.4.1-debian on amd64
Comment 2 Pedro Alves 2015-07-02 12:59:34 UTC 
Seems to work here with current master and F20's 7.7.

Closing as fixed.  Feel free to reopen if current master still doesn't work for you.

Thanks.