Bug 11400

Summary:	tui cmd winheight behavior incorrect
Product:	gdb	Reporter:	Rhys Ulerich <rhys.ulerich>
Component:	tui	Assignee:	Not yet assigned to anyone <unassigned>
Status:	RESOLVED FIXED
Severity:	normal	CC:	gdb-prs, lionel, pedro
Priority:	P2
Version:	7.1
Target Milestone:	7.1
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

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.