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/lua_script_manager.h | |
parent | cdb1395a99fa5f8a4f97305065cf11fbb48c8d6e (diff) |
use WindowManager toggle API for script-manager
Diffstat (limited to 'gtk2_ardour/lua_script_manager.h')
-rw-r--r-- | gtk2_ardour/lua_script_manager.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gtk2_ardour/lua_script_manager.h b/gtk2_ardour/lua_script_manager.h index ef1f48ba92..03e2756c8a 100644 --- a/gtk2_ardour/lua_script_manager.h +++ b/gtk2_ardour/lua_script_manager.h @@ -31,7 +31,6 @@ public: LuaScriptManager (); protected: - bool on_delete_event (GdkEventAny*); void session_going_away(); private: |