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 754817 - Fixes for keyboard-input
Fixes for keyboard-input
Status: RESOLVED FIXED
Product: gnome-devel-docs
Classification: Applications
Component: hig
unspecified
Other All
: Normal normal
: ---
Assigned To: gnome-devel-docs maintainers
gnome-devel-docs maintainers
Depends on:
Blocks:
 
 
Reported: 2015-09-10 07:58 UTC by Marius Gedminas
Modified: 2015-09-10 08:59 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fixes for keyboard-input (1.72 KB, patch)
2015-09-10 07:58 UTC, Marius Gedminas 		committed Details | Review

Description Marius Gedminas 2015-09-10 07:58:14 UTC 
The lock key is Super+L, not Super+(blank).

The Print Preview key needs only one of the Ctrl keys to be held down.

The Home action is not called Up.

(Originally submitted at https://github.com/GNOME/gnome-devel-docs/pull/2)
Comment 1 Marius Gedminas 2015-09-10 07:58:17 UTC 
Created attachment 311040 [details] [review]
Fixes for keyboard-input

The lock key is Super+L, not Super+(blank).

The Print Preview key needs only one of the Ctrl keys to be held down.

The Home action is not called Up.
Comment 2 David King 2015-09-10 08:48:16 UTC 
Review of attachment 311040 [details] [review]:

Thanks for the patch! I pushed it to master as commit 87cd1115700cd9aa43416ee4d3e6515ab057fda5.

Sadly, I do not get notifications from the mirrored repositories on github (and it is not possible to disable pull requests there), so I didn't see the pull request.
Comment 3 Marius Gedminas 2015-09-10 08:59:00 UTC 
(If you have a GitHub account, you can "watch" any repository on GitHub and get email notifications about new pull requests.  It's fine if you don't want to do that.)