public inbox for gdb-prs@sourceware.org
help / color / mirror / Atom feed
* [Bug tui/18388] New: "tabset" command should be replaced
@ 2015-05-07 17:23 tromey at sourceware dot org
  0 siblings, 0 replies; only message in thread
From: tromey at sourceware dot org @ 2015-05-07 17:23 UTC (permalink / raw)
  To: gdb-prs

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

            Bug ID: 18388
           Summary: "tabset" command should be replaced
           Product: gdb
           Version: HEAD
            Status: NEW
          Severity: normal
          Priority: P2
         Component: tui
          Assignee: unassigned at sourceware dot org
          Reporter: tromey at sourceware dot org
  Target Milestone: ---

The TUI provides a "tabset" command to set the tab width.
I think this should be deprecated and replaced with something
like "set tui tab-width".

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


^ permalink raw reply	[flat|nested] only message in thread
only message in thread, other threads:[~2015-05-07 17:23 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2015-05-07 17:23 [Bug tui/18388] New: "tabset" command should be replaced tromey at sourceware dot org

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).