+ private void on_filter_changed () {
+ var markup = new StringBuilder ();
+ if (filter.year_min != 0 || filter.year_max != 0)
+ markup.append (_(" - years"));
+ if (filter.rating_min != 0)
+ markup.append (_(" - rating"));
+ if (filter.genres.field != 0)
+ markup.append (_(" - genres"));
+ if (markup.str.length > 0) {
+ Gdk.Color color;
+ this.ensure_style ();
+ if (this.style.lookup_color ("ActiveTextColor", out color)) {
+ markup.prepend ("<span fgcolor=\"%s\">".printf (color.to_string ()));
+ markup.append ("</span>");
+ }
+ markup.prepend (source.get_name ());
+ set_markup (markup.str);
+ } else {
+ set_markup (source.get_name ());
+ }
+
+ start_search ();
+ }
+