permit editing velocity bars option
authorPaul Davis <paul@linuxaudiosystems.com>
Tue, 3 Jul 2018 19:39:28 +0000 (15:39 -0400)
committerPaul Davis <paul@linuxaudiosystems.com>
Tue, 3 Jul 2018 19:39:28 +0000 (15:39 -0400)
commit38b499a8f08f488889967d536dd1e341f9b3da3d
treea74a02a48a1552663937b45a722747864660de75
parentbf2f4bd28a680b1808291a89a85e93d9fb18206c
permit editing velocity bars option
gtk2_ardour/editor.cc
gtk2_ardour/editor_actions.cc
gtk2_ardour/rc_option_editor.cc
gtk2_ardour/ui_config_vars.h