[gnome-mines] Add tooltips to both buttons

[Michael Catanzaro <mcatanzaro src gnome org>]

commit 3049d6e719af16c0f1fb047876d3cfdc27a774b2
Author: Michael Catanzaro <mcatanzaro gnome org>
Date:   Sun Feb 16 10:45:29 2014 -0600

    Add tooltips to both buttons

 src/gnome-mines.vala |    4 ++++
 1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-mines.vala b/src/gnome-mines.vala
index c7b7f54..ef7e189 100644
--- a/src/gnome-mines.vala
+++ b/src/gnome-mines.vala
@@ -190,6 +190,7 @@ public class Mines : Gtk.Application
         hint_button.halign = Gtk.Align.CENTER;
         hint_button.relief = Gtk.ReliefStyle.NONE;
         hint_button.action_name = "app.hint";
+        hint_button.tooltip_text = _("Receive a hint for your next move");
         buttons_box.pack_start (hint_button, false, false, 0);
         size.add_widget (hint_button);
 
@@ -900,18 +901,21 @@ public class Mines : Gtk.Application
     private void display_new_game_button ()
     {
         play_pause_button.action_name = "app.new-game";
+        play_pause_button.tooltip_text = _("Start a new game");
         play_pause_image.icon_name = "view-refresh-symbolic";
     }
 
     private void display_pause_button ()
     {
         play_pause_button.action_name = "app.pause";
+        play_pause_button.tooltip_text = _("Pause the game");
         play_pause_image.icon_name = "media-playback-pause-symbolic";
     }
 
     private void display_unpause_button ()
     {
         play_pause_button.action_name = "app.pause";
+        play_pause_button.tooltip_text = _("Unpause the game");
 
         if (play_pause_button.get_direction () == Gtk.TextDirection.RTL)
             play_pause_image.icon_name = "media-playback-start-rtl-symbolic";