+void
+PianoRollHeader::set_note_highlight (uint8_t note) {
+ if (_highlighted_note == note) {
+ return;
+ }
+
+ if (_highlighted_note != NO_MIDI_NOTE) {
+ if (note > _highlighted_note) {
+ invalidate_note_range (_highlighted_note, note);
+ } else {
+ invalidate_note_range (note, _highlighted_note);
+ }
+ }
+
+ _highlighted_note = note;
+
+ if (_highlighted_note != NO_MIDI_NOTE) {
+ invalidate_note_range (_highlighted_note, _highlighted_note);
+ }
+}
+