+ 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);
+ }
+}
+
+bool
+PianoRollHeader::on_enter_notify_event (GdkEventCrossing* ev)
+{
+ set_note_highlight (_view.y_to_note(ev->y));