[gnome-sudoku] Hide number picker after selecting with keyboard

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 01f7bce20b0f2a36d1c77520752e7bee94d87e0b
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Fri Jun 26 08:41:39 2015 -0500

    Hide number picker after selecting with keyboard
    
    After clicking a cell to bring up the number picker and then pressing a
    digit key on the keyboard to make a selection, the number picker should
    be hidden, just as it would be if selecting the number with the mouse.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=751536

 src/sudoku-view.vala |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)
---
diff --git a/src/sudoku-view.vala b/src/sudoku-view.vala
index ac3edde..a8059df 100644
--- a/src/sudoku-view.vala
+++ b/src/sudoku-view.vala
@@ -301,6 +301,7 @@ private class SudokuCellView : Gtk.DrawingArea
             {
                 value = k_no;
                 this.game.board.disable_all_earmarks (row, col);
+                hide_both_popovers ();
             }
             return true;
         }