diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-15 12:32:41 -0500 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2014-12-15 12:32:41 -0500 |
commit | f6e88ead01b1823f1374afdbc3d8b9a5639e7f46 (patch) | |
tree | 9cddcd830da9d58bf364b89ee298a973a6ead8d1 /gtk2_ardour/ardour.menus.in | |
parent | 8b230014412b90b78240685b16a8d4e624cc5ce6 (diff) |
move theme manager into preferences window
Diffstat (limited to 'gtk2_ardour/ardour.menus.in')
-rw-r--r-- | gtk2_ardour/ardour.menus.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/ardour.menus.in b/gtk2_ardour/ardour.menus.in index d7bd5eac7b..d4b65025c6 100644 --- a/gtk2_ardour/ardour.menus.in +++ b/gtk2_ardour/ardour.menus.in @@ -505,7 +505,6 @@ <menuitem action='toggle-locations'/> <menuitem action='toggle-key-editor'/> <menuitem action='toggle-bundle-manager'/> - <menuitem action='toggle-theme-manager'/> <menuitem action='toggle-big-clock'/> #if 0 <menuitem action='toggle-speaker-config'/> |