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>
Wed, 16 Mar 2022 02:03:34 +0000 (22:03 -0400)
commita2f30ac1ab2ab83503ffe86bdf6c31297e83ceaf
tree69cb9f8a1ba0247fb08c34817d7773fe080f6761
parent3764b27babc1cf94f27dfe2079426846d53d0256
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