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 779385 - Make "hamburger" menu wider
Make "hamburger" menu wider
Status: RESOLVED DUPLICATE of bug 779570
Product: devhelp
Classification: Applications
Component: General
3.23.x
Other Linux
: Normal enhancement
: ---
Assigned To: devhelp-maint
devhelp-maint
Depends on: 779570
Blocks:
 
 
Reported: 2017-03-01 00:19 UTC by Jeremy Bicha
Modified: 2017-05-17 16:20 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Screenshot (44.07 KB, image/png)
2017-03-01 16:48 UTC, Jeremy Bicha 		Details

Description Jeremy Bicha 2017-03-01 00:19:49 UTC 
The "hamburger" menu feels too cramped. Could you add more padding?

This is similar to what was done in
https://git.gnome.org/browse/eog/commit/?id=a4cfef1769
Comment 1 Jeremy Bicha 2017-03-01 00:30:15 UTC 
This would be obsolete if bug 779386 is implemented, but we're past UI Freeze. This more limited issue may still be fixable for GNOME 3.24.
Comment 2 Sébastien Wilmet 2017-03-01 16:19:59 UTC 
I don't see why it is a problem in the current state. I would keep it like it is.
Comment 3 Jeremy Bicha 2017-03-01 16:48:50 UTC 
Created attachment 346980 [details]
Screenshot

Screenshot attached.

Specifically, I feel there should be more padding between Side Panel and its checkbox.
Comment 4 Sébastien Wilmet 2017-03-01 19:19:18 UTC 
The problem with the commit in eog, with the hardcoded size, is that it's specific for the English language. It may not work as well with other languages. The problem comes from GTK+.
Comment 5 Sébastien Wilmet 2017-03-02 15:14:29 UTC 
See bug #777335 for another GTK+ bug, where the consensus was to not add a workaround in Devhelp. I think this bug falls into the same category.
Comment 6 Jeremy Bicha 2017-03-02 15:34:19 UTC 
Sébastien, so do you want to reassign this bug to gtk+ ?
Comment 7 Sébastien Wilmet 2017-03-04 10:31:59 UTC 
It's better to file a new bug, with the first comment explaining what GTK+ should do, i.e. ensure that there is a certain amount of padding between the label and the checkbox.
Comment 8 Jeremy Bicha 2017-03-04 14:10:21 UTC 
Ok, filed https://bugzilla.gnome.org/779570
Comment 9 Sébastien Wilmet 2017-05-17 16:20:25 UTC 
I think we don't want this bug to be fixed in Devhelp itself, GTK+ should do the right thing. So I close this bug.

*** This bug has been marked as a duplicate of bug 779570 ***