[gnome-mines] (40 commits) Non-fast-forward update to branch arnaudb/wip/gtk4

[Arnaud B. <arnaudb src gnome org>]

The branch 'arnaudb/wip/gtk4' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  40f0719... Compile with Gtk4.
  85ee22e... Manage window focus.
  0afd89d... Use GestureClick.
  6f21465... Make on_window_state_event work.
  83914e0... Update EventController thing.
  c038d77... No need to set events anymore.
  585b1b4... The expand property is gone.
  1f2e573... Adapt to measure().
  111bea3... The border_width property is gone.
  fb4d170... Adapt to Button API.
  eed48cd... Adapt to HeaderBar API.
  3012155... Adapt to Box API.
  e0150e3... Widgets are visible.
  3528619... Replace GdkScreen by GdkDisplay.
  2757baa... Adapt to MenuButton API.
  eb7126c... Adapt size_allocate().
  44f0479... Adapt to IconTheme API.
  50226b7... The border-width property is gone, really.
  08fe129... Fix a small thing.
  b55d92d... Adapt UI files.
  478de10... Update -gtk-icon-effect CSS property.
  c6613f7... Fix CSS.
  0fd78f8... Adapt to Widget CSS API.
  9ce3780... Fix board ratio.
  120e302... Fix playing with keyboard.
  15185be... Fix playing with mouse.
  2a90714... Adapt to GtkAspectFrame API.
  867a8e0... Not needed anymore.
  636399e... Update a method.
  7510b13... Adapt to ScoresDialog API.
  542571f... Adapt old Container API.
  3599170... Adapt to HeaderBar API.
  fc51a09... Adapt size-allocate stuff.
  0d6bd43... Adapt to Dialog API.
  fdf0ebe... Adapt to Container API, again.
  2a83730... Try to fix CI.

Commits added to the branch:

  fb72985... Update French translation (*)
  ef2a046... Update Greek translation (*)
  2a503bb... Update Latvian translation (*)
  01e45cd... Update Catalan translation (*)
  b9f6b7e... Compile with Gtk4.
  cccf6fc... Manage window focus.
  cd1b4a0... Use GestureClick.
  5950048... Make on_window_state_event work.
  727b859... Update EventController thing.
  57803d0... No need to set events anymore.
  9d27b7c... The expand property is gone.
  ffcc52e... Adapt to measure().
  a745407... The border_width property is gone.
  2874f8d... Adapt to Button API.
  d9cdaf2... Adapt to HeaderBar API.
  a7fa35e... Adapt to Box API.
  6ce9418... Widgets are visible.
  55685b3... Replace GdkScreen by GdkDisplay.
  ceaca64... Adapt to MenuButton API.
  2a40056... Adapt size_allocate().
  e8e3255... Adapt to IconTheme API.
  adca841... The border-width property is gone, really.
  9d5e081... Fix a small thing.
  0e89ac0... Adapt UI files.
  3a134f3... Update -gtk-icon-effect CSS property.
  650e736... Fix CSS.
  3933de1... Adapt to Widget CSS API.
  77df392... Fix board ratio.
  6df562c... Fix playing with keyboard.
  99d32e4... Fix playing with mouse.
  5bf8ce8... Adapt to GtkAspectFrame API.
  13bbc7f... Not needed anymore.
  65b64c3... Update a method.
  d5e1b57... Adapt to ScoresDialog API.
  e09ca5d... Adapt old Container API.
  300b8b3... Adapt to HeaderBar API.
  4d9ce61... Adapt size-allocate stuff.
  51be270... Adapt to Dialog API.
  5ba56be... Adapt to Container API, again.
  82ae89f... Try to fix CI.

(*) This commit already existed in another branch; no separate mail sent