document-manager: bgo #711720 - Highlight if search box text not found in editor
commit3b971e9ce7e3d656e36960e91cb75f38028c3b76
authorSébastien Granjoux <seb.sfo@free.fr>
Sat, 25 Jan 2014 13:43:30 +0000 (25 14:43 +0100)
committerSébastien Granjoux <seb.sfo@free.fr>
Sat, 25 Jan 2014 13:49:18 +0000 (25 14:49 +0100)
tree2799ad36d977fdc3546aa965497ce363a4715df6
parentb34c1258c3359421dbae137f3f91846a95e27884
document-manager: bgo #711720 - Highlight if search box text not found in editor

Using gtk_widget_override_background_color is not enough. It seems that we need
to set the background image to none too. It's done using css.
plugins/document-manager/search-box.c