New refreshUi API

Signed-off-by: Clifford Wolf <clifford@clifford.at>

1 files changed, 33 insertions, 0 deletions

diff --git a/common/nextpnr.h b/common/nextpnr.h
index bf3a5c28..856d8993 100644
--- a/common/nextpnr.h
+++ b/common/nextpnr.h
@@ -259,6 +259,39 @@ struct BaseCtx
         delete idstring_str_to_idx;
         delete idstring_idx_to_str;
     }
+
+    // --------------------------------------------------------------
+
+    bool allUiReload = false;
+    bool frameUiReload = false;
+    std::unordered_set<BelId> belUiReload;
+    std::unordered_set<WireId> wireUiReload;
+    std::unordered_set<PipId> pipUiReload;
+
+    void refreshUi()
+    {
+        allUiReload = true;
+    }
+
+    void refreshUiFrame()
+    {
+        frameUiReload = true;
+    }
+
+    void refreshUiBel(BelId bel)
+    {
+        belUiReload.insert(bel);
+    }
+
+    void refreshUiWire(WireId wire)
+    {
+        wireUiReload.insert(wire);
+    }
+
+    void refreshUiPip(PipId pip)
+    {
+        pipUiReload.insert(pip);
+    }
 };
 
 NEXTPNR_NAMESPACE_END