From 2a01b5e4d326f697636c592b7589080f88d5fa2c Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Wed, 11 Jul 2018 17:02:13 +0200
Subject: New refreshUi API

Signed-off-by: Clifford Wolf <clifford@clifford.at>
---
 common/nextpnr.h | 33 +++++++++++++++++++++++++++++++++
 1 file changed, 33 insertions(+)

(limited to 'common')

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
-- 
cgit v1.2.3