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 757177 - Add keyboard shortcuts for switching tabs (Ctrl+PgUp/PgDn)
Add keyboard shortcuts for switching tabs (Ctrl+PgUp/PgDn)
Status: RESOLVED FIXED
Product: devhelp
Classification: Applications
Component: General
git master
Other Linux
: Normal enhancement
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on:
Blocks:
 
 
Reported: 2015-10-27 11:06 UTC by Nirbheek Chauhan
Modified: 2016-01-28 08:56 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
accels: add support for ctrl+pgup/pgdown to switch between tabs (3.42 KB, patch)
2015-10-27 11:06 UTC, Nirbheek Chauhan 		reviewed Details | Review

Description Nirbheek Chauhan 2015-10-27 11:06:42 UTC 
Created attachment 314211 [details] [review]
accels: add support for ctrl+pgup/pgdown to switch between tabs

You can do all other navigation in Devhelp using the keyboard shortcuts (search, scroll, navigate history, open new tab, etc) but switching tabs requires the mouse. The attached patch adds keyboard shortcuts for the same.
Comment 1 Sébastien Wilmet 2015-11-04 14:54:27 UTC 
Review of attachment 314211 [details] [review]:

Looks good to me, but I'm not a maintainer of Devhelp, it needs to be approved by a maintainer.
Comment 2 Nirbheek Chauhan 2015-12-03 14:53:54 UTC 
Thanks for the review Sébastien :)

Could a maintainer please look at this? I would be happy if this were shipped with 3.20 so I don't have to run a locally-compiled copy. :)
Comment 3 Frederic Peters 2016-01-27 17:51:32 UTC 
I updated the patch to current master and pushed it; thank you.
Comment 4 Nirbheek Chauhan 2016-01-28 08:56:59 UTC 
(In reply to Frederic Peters from comment #3)
> I updated the patch to current master and pushed it; thank you.

Thanks so much for taking care of this!