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 757405 - Keyboard cursor is hidden when user presses <Primary>+space and not visible when mouse is over selected square
Keyboard cursor is hidden when user presses <Primary>+space and not visible w...
Status: RESOLVED FIXED
Product: gnome-mines
Classification: Applications
Component: general
git master
Other Linux
: Normal enhancement
: ---
Assigned To: gnome-mines-maint
gnome-mines-maint
Depends on:
Blocks:
 
 
Reported: 2015-10-31 10:38 UTC by Isaac Lenton
Modified: 2015-11-04 07:25 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Proposed patch (1.57 KB, patch)
2015-10-31 11:00 UTC, Isaac Lenton 		committed Details | Review

Description Isaac Lenton 2015-10-31 10:38:07 UTC 
Keyboard cursor is currently hidden when the user presses <Primary>+space.  The keyboard cursor is not visible when the mouse is over the selected square.

Proposed patch to be posted.
Comment 1 Isaac Lenton 2015-10-31 11:00:49 UTC 
Created attachment 314532 [details] [review]
Proposed patch
Comment 2 Robert Roth 2015-11-03 13:55:14 UTC 
Review of attachment 314532 [details] [review]:

Looks fine, fixes the problem indeed.
Comment 3 Robert Roth 2015-11-04 07:25:04 UTC 
This problem has been fixed in the unstable development version. The fix will be available in the next major software release. You may need to upgrade your Linux distribution to obtain that newer version.
Comment 4 Robert Roth 2015-11-04 07:25:27 UTC 
Review of attachment 314532 [details] [review]:

Pushed.