mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2024-11-08 18:39:54 +00:00
Add search navigation menu items to view menu
This commit is contained in:
parent
e3d2cfb035
commit
f8da21fb46
1 changed files with 5 additions and 3 deletions
|
@ -249,9 +249,11 @@ class FindBarFeature (FeatureBase):
|
|||
self.log_view = window.log_view
|
||||
|
||||
self.merge_id = ui.new_merge_id ()
|
||||
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",
|
||||
"ViewFindBar", "show-find-bar",
|
||||
gtk.UI_MANAGER_MENUITEM, False)
|
||||
name, action_name, gtk.UI_MANAGER_MENUITEM, False)
|
||||
|
||||
box = window.widgets.vbox_view
|
||||
self.bar = FindBarWidget (self.action_group)
|
||||
|
|
Loading…
Reference in a new issue