After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 766118 - Pausing does not refresh screen
Pausing does not refresh screen
Status: RESOLVED FIXED
Product: gnome-sudoku
Classification: Applications
Component: general
3.20.x
Other Linux
: Normal normal
: ---
Assigned To: gnome-sudoku-maint
gnome-sudoku-maint
: 770099 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2016-05-07 20:11 UTC by Thomas Lange
Modified: 2016-08-19 16:03 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
First patch. (726 bytes, patch)
2016-08-11 13:35 UTC, Thomas Pollok 		committed Details | Review

Description Thomas Lange 2016-05-07 20:11:36 UTC 
When a game is paused, the window should show "Paused" in big letters.
But this is only the case when a redraw is forced, for example by minimizing and maximizing the application.

Maybe there is somewhere a gtk_widget_queue_draw() call missing.
Comment 1 Thomas Pollok 2016-08-11 13:35:55 UTC 
Created attachment 333116 [details] [review]
First patch.

I have tested the patch and it works properly on my system. Please commit the patch.
Comment 2 Michael Catanzaro 2016-08-19 14:49:09 UTC 
Review of attachment 333116 [details] [review]:

Whoops, good catch. Thanks for this fix!
Comment 3 Michael Catanzaro 2016-08-19 14:52:04 UTC 
I'm going to put this into 3.20.5 and 3.18.4.
Comment 4 Thomas Pollok 2016-08-19 15:13:20 UTC 
You're welcome :)
Comment 5 Michael Catanzaro 2016-08-19 16:03:07 UTC 
*** Bug 770099 has been marked as a duplicate of this bug. ***