Fix loading more results when scrolling through search results

This commit is contained in:
fiaxh 2020-09-14 12:39:52 +02:00
parent 928802332c
commit fb9352fef1

View file

@ -119,6 +119,7 @@ public class GlobalSearch : Overlay {
private void clear_search() {
results_box.@foreach((widget) => { widget.destroy(); });
loaded_results = 0;
}
private void set_search(string search) {