[gnome-sudoku/arnaudb/wip/gtk4: 9/25] Adapt to Popover API.

[Arnaud B. <arnaudb src gnome org>]

commit 704681de912231c87ffa96ac5dbd3c7f0c68d0d7
Author: Arnaud Bonatti <arnaud bonatti gmail com>
Date:   Sun Apr 12 15:03:15 2020 +0200

    Adapt to Popover API.

 src/sudoku-view.vala | 28 ++++++++++++++--------------
 1 file changed, 14 insertions(+), 14 deletions(-)
---
diff --git a/src/sudoku-view.vala b/src/sudoku-view.vala
index 5864225..9443f0b 100644
--- a/src/sudoku-view.vala
+++ b/src/sudoku-view.vala
@@ -186,7 +186,7 @@ private class SudokuCellView : DrawingArea
     private void show_number_picker ()
     {
         if (earmark_popover != null)
-            earmark_popover.hide ();
+            earmark_popover.popdown ();
 
         number_picker = new NumberPicker (ref game.board);
         number_picker.number_picked.connect ((o, number) => {
@@ -195,46 +195,46 @@ private class SudokuCellView : DrawingArea
                 notify_property ("value");
             this.game.board.disable_all_earmarks (row, col);
 
-            popover.hide ();
+            popover.popdown ();
         });
         number_picker.set_clear_button_visibility (value != 0);
 
-        popover = new Popover (this);
+        popover = new Popover ();
         popover.add (number_picker);
-        popover.modal = false;
+        popover.set_autohide (false);
         popover.position = PositionType.BOTTOM;
         popover.notify["visible"].connect (()=> {
             if (!popover.visible)
                 destroy_popover (ref popover);
         });
         popover_focus_controller = new EventControllerFocus ();
-        popover_focus_controller.leave.connect (popover.hide);
+        popover_focus_controller.leave.connect (popover.popdown);
         ((Widget) popover).add_controller (popover_focus_controller);
 
-        popover.show ();
+        popover.popup ();
     }
 
     private EventControllerFocus earmark_focus_controller;
     private void show_earmark_picker ()
     {
         if (popover != null)
-            popover.hide ();
+            popover.popdown ();
 
         create_earmark_picker ();
 
-        earmark_popover = new Popover (this);
+        earmark_popover = new Popover ();
         earmark_popover.add (earmark_picker);
-        earmark_popover.modal = false;
+        earmark_popover.set_autohide (false);
         earmark_popover.position = PositionType.BOTTOM;
         earmark_popover.notify["visible"].connect (()=> {
             if (!earmark_popover.visible)
                 destroy_popover (ref earmark_popover);
         });
         earmark_focus_controller = new EventControllerFocus ();
-        earmark_focus_controller.leave.connect (earmark_popover.hide);
+        earmark_focus_controller.leave.connect (earmark_popover.popdown);
         ((Widget) earmark_popover).add_controller (earmark_focus_controller);
 
-        earmark_popover.show ();
+        earmark_popover.popup ();
     }
 
     private void destroy_popover (ref Popover popover)
@@ -249,9 +249,9 @@ private class SudokuCellView : DrawingArea
     public void hide_both_popovers ()
     {
         if (popover != null)
-            popover.hide ();
+            popover.popdown ();
         if (earmark_popover != null)
-            earmark_popover.hide ();
+            earmark_popover.popdown ();
     }
 
     /* Key mapping function to help convert Gdk.keyval_name string to numbers */
@@ -337,7 +337,7 @@ private class SudokuCellView : DrawingArea
         {
             if (popover != null)
             {
-                popover.hide ();
+                popover.popdown ();
                 return false;
             }
             show_number_picker ();