put JACK time master option back in the menus

diff --git a/gtk2_ardour/ardour.menus.in b/gtk2_ardour/ardour.menus.in
index f0bcaa197743fea56839595e63c6dc168c6503c2..cfc62ec25ee9eb78d147b065317cef675c633b31 100644 (file)
--- 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'/>