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 729512 - side pane should be toggleable
side pane should be toggleable
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: 2014-05-04 15:29 UTC by chrysn
Modified: 2015-05-24 08:55 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
simple patch to fix the issue (3.13 KB, patch)
2014-05-04 15:29 UTC, chrysn 		committed Details | Review

Description chrysn 2014-05-04 15:29:13 UTC 
Created attachment 275814 [details] [review]
simple patch to fix the issue

when having a reference manual open next to code, the side pane can be waste of screen estate; toggling it (as it is possible with most other gnome-style applications i know) woud be a good idea.

the attached patch implements a win.show-sidebar action, bound to F9 and shown in the gear menu.

not implemented in the patch are other actions that might want to trigger showing it (like focus_search_cb, i don't know how to get the show-sidepane action from there).

please consider applying it.
Comment 1 Frederic Peters 2015-05-24 08:54:42 UTC 
Comment on attachment 275814 [details] [review]
simple patch to fix the issue

That was pushed a long time ago but I forgot to close the bug report; thanks!