use WindowManager toggle API for script-manager
authorRobin Gareus <robin@gareus.org>
Fri, 6 May 2016 01:59:02 +0000 (03:59 +0200)
committerRobin Gareus <robin@gareus.org>
Fri, 6 May 2016 01:59:02 +0000 (03:59 +0200)
commit05baa2d1c11116679172c6faadc21d01e5f5565b
tree4f94e43a8fd177019849f8d4119c459aa2a2cf9d
parentcdb1395a99fa5f8a4f97305065cf11fbb48c8d6e
use WindowManager toggle API for script-manager
gtk2_ardour/ardour.menus.in
gtk2_ardour/ardour_ui.h
gtk2_ardour/ardour_ui_dialogs.cc
gtk2_ardour/editor.cc
gtk2_ardour/editor.h
gtk2_ardour/editor_actions.cc
gtk2_ardour/lua_script_manager.cc
gtk2_ardour/lua_script_manager.h