put JACK time master option back in the menus

2019-11-11 17:52:48 -07:00 · 2019-11-11 17:52:48 -07:00 · 457ab6d35f
commit 457ab6d35f
parent 5fb949267d
1 changed files with 1 additions and 0 deletions
--- a/gtk2_ardour/ardour.menus.in
+++ b/gtk2_ardour/ardour.menus.in
@ -154,6 +154,7 @@
      </menu>

      <separator/>
+      <menuitem action='ToggleTimeMaster'/>
      <menuitem action='TogglePunch'/>
      <menuitem action='TogglePunchIn'/>
      <menuitem action='TogglePunchOut'/>