amend 82e03ac13e for better leave notify behavior

Don't clear the processor box selection when leaving for
a non-linearly related widget/window (e.g. a context menu)

Note that the deselect is a little buggy but that was
true before the referenced commit too. If you move the mouse too
fast out of a processor box, then depending on where the
mouse stops, no leave notify message is sent
This commit is contained in:
Paul Davis 2023-04-29 09:57:50 -06:00
parent 3fe1fc77a9
commit f387cbae12

View File

@ -2554,7 +2554,9 @@ ProcessorBox::leave_notify (GdkEventCrossing* ev)
gtk_window_set_focus (win->gobj(), 0);
}
processor_display.select_none ();
if (ev->detail != GDK_NOTIFY_NONLINEAR && ev->detail != GDK_NOTIFY_NONLINEAR_VIRTUAL) {
processor_display.select_none ();
}
return false;
}