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 777809 - Yelp in-page search box has an extra border around the text box.
Yelp in-page search box has an extra border around the text box.
Status: RESOLVED FIXED
Product: yelp
Classification: Applications
Component: Search
3.21.x
Other Linux
: Normal minor
: ---
Assigned To: Yelp maintainers
Yelp maintainers
Depends on:
Blocks:
 
 
Reported: 2017-01-26 20:56 UTC by Hussam Al-Tayeb
Modified: 2017-06-19 14:23 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
yelp search box and gedit search box. (900.29 KB, image/png)
2017-01-26 20:56 UTC, Hussam Al-Tayeb 		  Details
Fix in-page search box border (1.47 KB, patch)
2017-02-01 05:04 UTC, Trinh Anh Ngoc 		committed Details | Review

Description Hussam Al-Tayeb 2017-01-26 20:56:15 UTC 
Created attachment 344357 [details]
yelp search box and gedit search box.

Yelp in-page search box has an extra border round the text box.
Notice the attached screenshot.
The first one is yelp while the lower one is gedit.
Comment 1 Hussam Al-Tayeb 2017-01-26 20:59:18 UTC 
I am using gtk+ 3.22.7 in case that helps.
Comment 2 Trinh Anh Ngoc 2017-02-01 05:04:27 UTC 
Created attachment 344678 [details] [review]
Fix in-page search box border
Comment 3 Hussam Al-Tayeb 2017-02-01 12:54:34 UTC 
(In reply to Trinh Anh Ngoc from comment #2)
> Created attachment 344678 [details] [review] [review]
> Fix in-page search box border

The patch fixes the issue for me. Thank you.
Comment 4 Hussam Al-Tayeb 2017-05-12 15:33:23 UTC 
Any chance of this patch getting committed?
Thank you.
Comment 5 David King 2017-06-19 14:22:33 UTC 
Review of attachment 344678 [details] [review]:

Thanks for the patch! I pushed it to master as commit 0a5da2f8b0c82d06361adef1d7c20159a690ac0c.