[gnome-mahjongg/gnome-3-8] Reset the Pause button in case it was set to Resume.
- From: Michael Catanzaro <mcatanzaro src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-mahjongg/gnome-3-8] Reset the Pause button in case it was set to Resume.
- Date: Sun, 18 Aug 2013 16:41:24 +0000 (UTC)
commit b58fe5be424fc776bcfff2acd7b841a60e978367
Author: gapalp <gapalp gapalp net>
Date: Wed Feb 13 19:53:55 2013 -0500
Reset the Pause button in case it was set to Resume.
The reported bug is functionally fixed in git version 3.7.5. The only
remaining fix to this bug is to change the Resume button back to a Pause
button, which is what this patch does.
The new_game () function was not changing the Resume button back to a
Pause button.
https://bugzilla.gnome.org/show_bug.cgi?id=693478
src/gnome-mahjongg.vala | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
---
diff --git a/src/gnome-mahjongg.vala b/src/gnome-mahjongg.vala
index 7cec7a8..4dec602 100644
--- a/src/gnome-mahjongg.vala
+++ b/src/gnome-mahjongg.vala
@@ -642,6 +642,10 @@ public class Mahjongg : Gtk.Application
window.set_title (_("Mahjongg - %s").printf (display_name));
update_ui ();
+
+ /* Reset the pause button in case it was set to resume */
+ pause_button.icon_name = "media-playback-pause";
+ pause_button.label = _("_Pause");
}
private void tick_cb ()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]