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 688460 - Improvements to the document manager search box.
Improvements to the document manager search box.
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: plugins: document-manager
unspecified
Other All
: Normal normal
: ---
Assigned To: Anjuta maintainers
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2012-11-16 13:04 UTC by Carl-Anton Ingmarsson
Modified: 2012-11-18 09:21 UTC
See Also:
GNOME target: ---
GNOME version: ---


Attachments
document-manager: Add search_box to document manager box directly. (6.92 KB, patch)
2012-11-16 13:04 UTC, Carl-Anton Ingmarsson
committed Details | Review
document-manager: hide search box when pressing escape inside the document widget. (4.66 KB, patch)
2012-11-16 13:04 UTC, Carl-Anton Ingmarsson
committed Details | Review

Description Carl-Anton Ingmarsson 2012-11-16 13:04:03 UTC
See the attached patches.
Comment 1 Carl-Anton Ingmarsson 2012-11-16 13:04:05 UTC
Created attachment 229128 [details] [review]
document-manager: Add search_box to document manager box directly.

This is now possible since the shell doesn't call gtk_widget_show_all on plugin widgets
anymore.
Comment 2 Carl-Anton Ingmarsson 2012-11-16 13:04:08 UTC
Created attachment 229129 [details] [review]
document-manager: hide search box when pressing escape inside the document widget.
Comment 3 Sébastien Granjoux 2012-11-18 09:21:12 UTC
Comment on attachment 229128 [details] [review]
document-manager: Add search_box to document manager box directly.

Thanks for your patch.
Comment 4 Sébastien Granjoux 2012-11-18 09:21:39 UTC
Comment on attachment 229129 [details] [review]
document-manager: hide search box when pressing escape inside the document widget.

I have committed it, Thanks.