use new midi-note-name API
authorRobin Gareus <robin@gareus.org>
Tue, 12 Jul 2016 21:00:31 +0000 (23:00 +0200)
committerRobin Gareus <robin@gareus.org>
Tue, 12 Jul 2016 21:02:46 +0000 (23:02 +0200)
commit7ed6dab340c8b34127f70ccf5a5cbd5aa1bd28f6
tree5121ebd6171131973843e526c650793b39f4027c
parent6b5be3d89257fb91a1c8c1b2d166106deb5a6874
use new midi-note-name API
gtk2_ardour/midi_list_editor.cc
gtk2_ardour/midi_region_view.cc