| commit | 1365658883eb43dbc0866996fe7cb3d877c00971 | |
| author | Carl-Anton Ingmarsson <ca.ingmarsson@gmail.com> | |
| Fri, 16 Nov 2012 13:02:43 +0000 (16 14:02 +0100) | ||
| committer | Sébastien Granjoux <seb.sfo@free.fr> | |
| Sun, 18 Nov 2012 09:11:33 +0000 (18 10:11 +0100) | ||
| tree | 44d5a46161499f5dfeb3ec64e3deb0fc8fc54cd5 | treesnapshot (tar.gz zip) |
| parent | 6196012d38a46ef01a8ba8b07c7ebee16da8a4b9 | commitdiff |
document-manager: hide search box when pressing escape inside the document widget.
https://bugzilla.gnome.org/show_bug.cgi?id=688460
https://bugzilla.gnome.org/show_bug.cgi?id=688460
| plugins/document-manager/anjuta-docman.c | diffblobblamehistory | |
| plugins/document-manager/search-box.c | diffblobblamehistory | |
| plugins/document-manager/search-box.h | diffblobblamehistory |