This is the mail archive of the
gdb-prs@sourceware.org
mailing list for the GDB project.
[Bug tui/18388] New: "tabset" command should be replaced
- From: "tromey at sourceware dot org" <sourceware-bugzilla at sourceware dot org>
- To: gdb-prs at sourceware dot org
- Date: Thu, 07 May 2015 17:23:21 +0000
- Subject: [Bug tui/18388] New: "tabset" command should be replaced
- Auto-submitted: auto-generated
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.