From 1214f22d6b8cc91bf0122f65d28d6899202a5ca7 Mon Sep 17 00:00:00 2001 From: Tom Tromey Date: Wed, 12 Jun 2013 11:16:27 -0600 Subject: [PATCH] add help to "gui source" --- gui/commands.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/gui/commands.py b/gui/commands.py index 6b89e07..148f2a1 100644 --- a/gui/commands.py +++ b/gui/commands.py @@ -23,6 +23,11 @@ class GuiCommand(gdb.Command): prefix = True) class GuiSourceCommand(gdb.Command): + """Create a new source window. + Usage: gui source + This creates a new source window in the GUI. Any number of source + windows can be created.""" + def __init__(self): super(GuiSourceCommand, self).__init__('gui source', gdb.COMMAND_SUPPORT)