diff options
| author | René Stadler <mail@renestadler.de> | 2007-12-11 11:13:46 +0200 |
|---|---|---|
| committer | René Stadler <mail@renestadler.de> | 2007-12-11 11:13:46 +0200 |
| commit | e5660b9c5def502a4f5573f9904c3e8ce72c6816 (patch) | |
| tree | 18fb74148203f350d3cfba9bb1ceb6926838744e /GstDebugViewer/Plugins | |
| parent | c15a61996fc10418ca130a4c79362142038b6b6c (diff) | |
Add search navigation menu items to view menu
Diffstat (limited to 'GstDebugViewer/Plugins')
| -rw-r--r-- | GstDebugViewer/Plugins/FindBar.py | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/GstDebugViewer/Plugins/FindBar.py b/GstDebugViewer/Plugins/FindBar.py index b8671b8..f02c7cc 100644 --- a/GstDebugViewer/Plugins/FindBar.py +++ b/GstDebugViewer/Plugins/FindBar.py @@ -249,9 +249,11 @@ class FindBarFeature (FeatureBase): self.log_view = window.log_view self.merge_id = ui.new_merge_id () - ui.add_ui (self.merge_id, "/menubar/ViewMenu/ViewMenuAdditions", - "ViewFindBar", "show-find-bar", - gtk.UI_MANAGER_MENUITEM, False) + for name, action_name in [("ViewFindBar", "show-find-bar",), + ("ViewNextResult", "goto-next-search-result",), + ("ViewPrevResult", "goto-previous-search-result",)]: + ui.add_ui (self.merge_id, "/menubar/ViewMenu/ViewMenuAdditions", + name, action_name, gtk.UI_MANAGER_MENUITEM, False) box = window.widgets.vbox_view self.bar = FindBarWidget (self.action_group) |