diff options
author | Paul Davis <paul@linuxaudiosystems.com> | 2013-06-13 23:00:24 -0400 |
---|---|---|
committer | Paul Davis <paul@linuxaudiosystems.com> | 2013-06-13 23:00:24 -0400 |
commit | f00b3b7f111e36537d773daef0ae77b03d11f82f (patch) | |
tree | 4bfdd432199a7d4a4cbfc7769493e6bedaa5e51f /gtk2_ardour/editor.h | |
parent | 31d234b48c36bddb4d5228a3abee9c4419403879 (diff) | |
parent | 80a13145f398e1c4ea22b3f8a25a5b38d3c5e328 (diff) |
merge with master
Diffstat (limited to 'gtk2_ardour/editor.h')
-rw-r--r-- | gtk2_ardour/editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/editor.h b/gtk2_ardour/editor.h index c43719b40d..c88a869ff3 100644 --- a/gtk2_ardour/editor.h +++ b/gtk2_ardour/editor.h @@ -896,6 +896,7 @@ class Editor : public PublicEditor, public PBD::ScopedConnectionList, public ARD Glib::RefPtr<Gtk::Action> xjadeo_zoom_100; void set_xjadeo_proc (); void toggle_xjadeo_proc (int state=-1); + void set_close_video_sensitive (bool onoff); void set_xjadeo_sensitive (bool onoff); void set_xjadeo_viewoption (int); void toggle_xjadeo_viewoption (int what, int state=-1); |