GNOME Bugzilla – Bug 742687
DevHelpBookTree is wider when searching
Last modified: 2015-02-16 08:13:15 UTC
Created attachment 294205 [details] Screenshot Look screenshot
Created attachment 294206 [details] [review] Adjust book tree margins
Created attachment 295514 [details] screenshot The change looks like an improvement, from a design point of view. If you wanted to improve it even further, my suggestion would be to remove the border and padding around the list (by setting shadow-type on the documentation list to GTK_SHADOW_NONE, and border-width to 0), since the border isn't necessary and adds visual noise. Also, the padding around the search box is a bit low - setting the margin to 6px would help. I've attached a screenshot of 3.14 with these changes.
Created attachment 295546 [details] [review] Refine sidebar ui Thanks Allan.
Created attachment 295547 [details] Screenshot
Thanks! Attachment 295546 [details] pushed as 6a4c11d - Refine sidebar ui