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/public_editor.h | |
parent | 31d234b48c36bddb4d5228a3abee9c4419403879 (diff) | |
parent | 80a13145f398e1c4ea22b3f8a25a5b38d3c5e328 (diff) |
merge with master
Diffstat (limited to 'gtk2_ardour/public_editor.h')
-rw-r--r-- | gtk2_ardour/public_editor.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/public_editor.h b/gtk2_ardour/public_editor.h index 909a6ffc65..3edf2e64ad 100644 --- a/gtk2_ardour/public_editor.h +++ b/gtk2_ardour/public_editor.h @@ -292,6 +292,7 @@ class PublicEditor : public Gtk::Window, public PBD::StatefulDestructible, publi virtual void edit_notes (TimeAxisViewItem&) = 0; virtual void queue_visual_videotimeline_update () = 0; + virtual void set_close_video_sensitive (bool) = 0; virtual void toggle_ruler_video (bool) = 0; virtual void toggle_xjadeo_proc (int) = 0; virtual void toggle_xjadeo_viewoption (int, int) = 0; |