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 789145 - Overview map covers search popup when set to autohide
Overview map covers search popup when set to autohide
Status: RESOLVED FIXED
Product: gnome-builder
Classification: Other
Component: editor
3.26.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME Builder Maintainers
GNOME Builder Maintainers
Depends on:
Blocks:
 
 
Reported: 2017-10-18 12:42 UTC by Sebastian Keller
Modified: 2017-10-18 22:00 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
editor: ensure search bar is higher priority than minimap (1.19 KB, patch)
2017-10-18 21:59 UTC, Christian Hergert 		committed Details | Review

Description Sebastian Keller 2017-10-18 12:42:50 UTC 
Enable the overview map, set it to autohide and open the search or search/replace popup. The overview map now covers up parts of the search popup.
Comment 1 Christian Hergert 2017-10-18 21:59:15 UTC 
Created attachment 361833 [details] [review]
editor: ensure search bar is higher priority than minimap
Comment 2 Christian Hergert 2017-10-18 22:00:24 UTC 
Thanks for taking the time to report!

Attachment 361833 [details] pushed as 2482133 - editor: ensure search bar is higher priority than minimap