[Bug gdb/31033] New: Bogus bold at the end of command when quitting pagination early

["blarsen at redhat dot com" <sourceware-bugzilla@sourceware.org>]

https://sourceware.org/bugzilla/show_bug.cgi?id=31033

            Bug ID: 31033
           Summary: Bogus bold at the end of command when quitting
                    pagination early
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: gdb
          Assignee: unassigned at sourceware dot org
          Reporter: blarsen at redhat dot com
  Target Milestone: ---

When a command has bold in its output, triggers pagination, and the user quits
pagination early, the next command will have bold at the end and the prompt
will be printed in bold as well. See this sample session, using <bold></bold>
to show where the output is stylized:

$ ./gdb -q cat     
Reading symbols from cat...
Reading symbols from .gnu_debugdata for /usr/bin/cat...
(No debugging symbols found in .gnu_debugdata for /usr/bin/cat)
(gdb) set height 2
(gdb) apropos inferior
<bold> add-inferior </bold> -- Add a new inferior.
--Type <RET> for more, q to quit, c to continue without paging--q
Quit
(gdb) inferior
[Current inferior is 1 <bold>[<null>] (/usr/bin/cat)]
(gdb)</bold> inferior
[Current inferior is 1 [<null>] (/usr/bin/cat)]
(gdb) 

This is a regression, since this behavior isn't present in GDB 13.2-3 in Fedora
37.

-- 
You are receiving this mail because:
You are on the CC list for the bug.