GNOME Bugzilla – Bug 777335
Workaround for searchbar 1px bug
Last modified: 2017-03-02 15:12:31 UTC
Created attachment 343563 [details] screenshot Gtk+ bug: https://bugzilla.gnome.org/show_bug.cgi?id=724096 The bug causes redundant border on top of document view.
Created attachment 343564 [details] [review] Wrap searchbar in a revealer
Created attachment 343565 [details] [review] Workaround
Created attachment 343566 [details] [review] Workaround: wrap searchbar in a revealer
Thanks I'm not a fan of working around GTK+ bugs but I'll leave the door open for other reviewers.
Created attachment 343568 [details] [review] Workaround: wrap searchbar in a revealer Fix indent
Review of attachment 343568 [details] [review]: I also don't like this patch. I prefer a simple and stupid code, to reduce complexity instead of increasing it, to target bug-free code.
OK, so the consensus is to not add a workaround in Devhelp.