game_list: Update filter results when removing directories

2026-09-04 03:21:42 +00:00 · 2021-04-29 23:56:30 +02:00
parent 60db565a5f
commit 8522d5848f
2 changed files with 6 additions and 5 deletions
@@ -346,8 +346,8 @@ class GameListSearchField : public QWidget {
 public:
    explicit GameListSearchField(GameList* parent = nullptr);

+    QString filterText() const;
    void setFilterResult(int visible, int total);
-    bool isEmpty() const;

    void clear();
    void setFocus();