diff options
author | Tim O'Shea <tim.oshea753@gmail.com> | 2013-12-09 17:23:29 -0500 |
---|---|---|
committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-01-18 22:47:43 +0100 |
commit | a01b15acfb590abfbfb543544538c6dec08a1f40 (patch) | |
tree | ba77354913ae10ad38713779677b153138c1f11a /grc/gui/Bars.py | |
parent | 67aa043b837e38fc04d612ced68ff2e4558c06ea (diff) |
grc: adding a page that captures and stores some XML parsing errors
Diffstat (limited to 'grc/gui/Bars.py')
-rw-r--r-- | grc/gui/Bars.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grc/gui/Bars.py b/grc/gui/Bars.py index 0e2b29c4e3..4c98f65416 100644 --- a/grc/gui/Bars.py +++ b/grc/gui/Bars.py @@ -103,6 +103,7 @@ MENU_BAR_LIST = ( (gtk.Action('Help', '_Help', None, None), [ Actions.HELP_WINDOW_DISPLAY, Actions.TYPES_WINDOW_DISPLAY, + Actions.PARSER_ERRORS, None, Actions.ABOUT_WINDOW_DISPLAY, ]), |