[fix] disable already added devices in DeskHub recent picker

2026-10-25 14:47:00 +08:00 · 2026-10-14 10:20:20 +08:00
parent 3ee0d42494
commit 5721222724
5 changed files with 43 additions and 17 deletions
@@ -62,6 +62,9 @@ struct Workspace {
           std::all_of(id.begin(), id.end(),
                       [](unsigned char c) { return c >= '0' && c <= '9'; });
  }
+  bool Contains(const std::string &id) const {
+    return wall_ids_.count(id) != 0;
+  }
  bool Add(const std::string &id, const std::string &group = {}) {
    if (!ValidId(id))
      return false;