diff options
author | Robin Gareus <robin@gareus.org> | 2015-08-15 05:13:14 +0200 |
---|---|---|
committer | Robin Gareus <robin@gareus.org> | 2015-08-15 05:13:14 +0200 |
commit | 344c435dae54433b5f8991a8e07a7256fb2987d1 (patch) | |
tree | eb14fd1fde9286d41e706c67a9d4a6930d5d799b /gtk2_ardour/midi_region_view.h | |
parent | f2495d98080db52af2bb961f03e31e858be6d4f9 (diff) |
cont'd work on piano roll highlighting.
Diffstat (limited to 'gtk2_ardour/midi_region_view.h')
-rw-r--r-- | gtk2_ardour/midi_region_view.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gtk2_ardour/midi_region_view.h b/gtk2_ardour/midi_region_view.h index 4cab6b16bf..bcc4e7aca2 100644 --- a/gtk2_ardour/midi_region_view.h +++ b/gtk2_ardour/midi_region_view.h @@ -502,6 +502,7 @@ private: void mouse_mode_changed (); void enter_internal (); void leave_internal (); + void hide_verbose_cursor (); framecnt_t _last_display_zoom; |