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 687648 - Search options issues
Search options issues
Status: RESOLVED FIXED
Product: gnome-documents
Classification: Core
Component: general
3.6.x
Other Linux
: Normal normal
: ---
Assigned To: GNOME documents maintainer(s)
GNOME documents maintainer(s)
Depends on:
Blocks:
 
 
Reported: 2012-11-05 14:21 UTC by Allan Day
Modified: 2013-02-22 21:55 UTC
See Also:
GNOME target: ---
GNOME version: 3.7/3.8



Description Allan Day 2012-11-05 14:21:56 UTC
When you click on the arrow next to the search field, a box with filters is displayed. There are a bunch of issues with this:

The overall appearance seems off. There's a lack of internal padding. The corners of the box don't seem to be drawn. It is also placed so that it overlaps with the edge of the search toolbar.

The rest of the window remains sensitive while the options box is displayed, so that you can click on the toolbar buttons or on the items in the grid. This can create some odd situations, such as showing a document or selection mode with the search options box still displayed.
Comment 1 Cosimo Cecchi 2013-02-22 21:55:13 UTC
I think we fixed all these issues now in git master. Please feel free to reopen this or another bug report if you can still reproduce some of these.