diff options
| author | Paul Davis <paul@linuxaudiosystems.com> | 2015-04-05 15:25:06 -0400 |
|---|---|---|
| committer | Paul Davis <paul@linuxaudiosystems.com> | 2015-04-05 15:25:06 -0400 |
| commit | e3b22a2a184354a85a569ae9c13694fa8c6b9910 (patch) | |
| tree | 5dd67dd517f57ed8f91d2765ec0f99bc51040dc2 | |
| parent | a83305169a8c5b8e5309ebcc0d7eb0c8a87025e2 (diff) | |
remove non-existence menu item
| -rw-r--r-- | gtk2_ardour/ardour.menus.in | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/gtk2_ardour/ardour.menus.in b/gtk2_ardour/ardour.menus.in index bb658686a3..efc1fcf66f 100644 --- a/gtk2_ardour/ardour.menus.in +++ b/gtk2_ardour/ardour.menus.in @@ -488,9 +488,6 @@ <menuitem action='ToggleGroupTabs'/> <menuitem action='show-marker-lines'/> - <separator/> - <menuitem action='show-ui-prefs'/> - </menu> <menu action = 'WindowMenu'> <menuitem action='toggle-audio-midi-setup'/> |