Advertisement
rotrevrep

Untitled

Apr 9th, 2015
1,314
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
  1. var filter_text = entry.get_text();
  2. listbox.set_filter_func((row) =>
  3. {
  4.     var text = (row.get_child() as Gtk.Label).label;
  5.     return filter_text == "" || filter_text.down() in text.down();
  6. });
Advertisement
RAW Paste Data Copied
Advertisement