[Bug gdb/16762] New: GDB doesn't update display size when host terminal resizes

["thomas.goodfellow+GNU at gmail dot com" <sourceware-bugzilla at sourceware dot org>]

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.