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

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

[blarsen at redhat dot com]

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.

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

[tromey at sourceware dot org]

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

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Blocks|                            |32284
                 CC|                            |tromey at sourceware dot org


Referenced Bugs:

https://sourceware.org/bugzilla/show_bug.cgi?id=32284
[Bug 32284] [meta] CLI Styling
-- 
You are receiving this mail because:
You are on the CC list for the bug.

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

[tromey at sourceware dot org]

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

Tom Tromey <tromey at sourceware dot org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Assignee|unassigned at sourceware dot org   |tromey at sourceware dot org

--- Comment #1 from Tom Tromey <tromey at sourceware dot org> ---
I have a fix.

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

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

[tromey at sourceware dot org]

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

--- Comment #2 from Tom Tromey <tromey at sourceware dot org> ---
I should probably write a regression test before sending this though.

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