diff options
| author | Robin Gareus <robin@gareus.org> | 2016-05-06 03:59:02 +0200 |
|---|---|---|
| committer | Robin Gareus <robin@gareus.org> | 2016-05-06 03:59:02 +0200 |
| commit | 05baa2d1c11116679172c6faadc21d01e5f5565b (patch) | |
| tree | 4f94e43a8fd177019849f8d4119c459aa2a2cf9d /gtk2_ardour/ardour_ui.h | |
| parent | cdb1395a99fa5f8a4f97305065cf11fbb48c8d6e (diff) | |
use WindowManager toggle API for script-manager
Diffstat (limited to 'gtk2_ardour/ardour_ui.h')
| -rw-r--r-- | gtk2_ardour/ardour_ui.h | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/gtk2_ardour/ardour_ui.h b/gtk2_ardour/ardour_ui.h index ab10e80136..6d2cb636e3 100644 --- a/gtk2_ardour/ardour_ui.h +++ b/gtk2_ardour/ardour_ui.h @@ -211,8 +211,6 @@ public: void toggle_monitor_section_visibility (); void toggle_keep_tearoffs(); - void lua_script_manager(); - static PublicEditor* _instance; /** Emitted frequently with the audible frame, false, and the edit point as |