Fix loading more results when scrolling through search results

This commit is contained in:
fiaxh 2020-09-14 12:39:52 +02:00
parent bb8d753517
commit e78e3764c4

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) {