This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug gdb/16762] New: GDB doesn't update display size when host terminal resizes
- From: "thomas.goodfellow+GNU at gmail dot com" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Thu, 27 Mar 2014 07:50:51 +0000
- Subject: [Bug gdb/16762] New: GDB doesn't update display size when host terminal resizes
- Auto-submitted: auto-generated
https://sourceware.org/bugzilla/show_bug.cgi?id=16762
Bug ID: 16762
Summary: GDB doesn't update display size when host terminal
resizes
Product: gdb
Version: 7.6
Status: NEW
Severity: minor
Priority: P2
Component: gdb
Assignee: unassigned at sourceware dot org
Reporter: thomas.goodfellow+GNU at gmail dot com
When gdb runs (in the default interactive mode, i.e. not using TUI) it sets its
initial display size to that of the hosting terminal, i.e. so as to paginate
after a screenful and to wrap lines on the right edge. After resizing the
terminal the same values remain in force - I can manually reset these values,
e.g.:
set width 140
set height 80
but this "read numbers in one place, type them into another" begs for
automation. I had hoped that out-of-range values (set width -1) or commands
like "refresh" would trigger a reset but I've yet to find anything.
This is using GNU gdb (GDB) 7.6.1-ubuntu on Mint(Mate) 16, no interesting
customisations.
Tom Tromey replied to my question about this on StackOverflow
(http://stackoverflow.com/questions/22666244/gdb-refreshing-display-width-and-height-when-the-host-terminal-resizes)
indicating that it is a bug and asking for a bug report (here)
--
You are receiving this mail because:
You are on the CC list for the bug.