SHOW:
|
|
- or go back to the newest paste.
| 1 | var filter_text = entry.get_text(); | |
| 2 | listbox.set_filter_func((row) => | |
| 3 | {
| |
| 4 | - | var text = row.get_child().get_text() |
| 4 | + | var text = (row.get_child() as Gtk.Label).label; |
| 5 | return filter_text == "" || filter_text.down() in text.down(); | |
| 6 | }); |
