window: Update has-focus property
authorMatthias Clasen <mclasen@redhat.com>
Mon, 7 Mar 2022 18:35:09 +0000 (11:35 -0700)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 8 Mar 2022 13:05:49 +0000 (06:05 -0700)
commitd9ad7884e9c3ac61a10e7b0b85bf66e28b9c7cb2
tree6f07b78ce9d79cd74bcba69999b0a902c3014321
parentf545d7a910f7fa94b55bee749547a8adb06e3669
window: Update has-focus property

Update the :has-focus property of the focus
widget when the active status of the window
changes.

We change the property after generating the
GDK_CROSSING_ACTIVE crossing events.
gtk/gtkwindow.c