Mermaid: Make unreachable highlighting optional

fxpl · Nov 1, 2024 · 9dca284 · 9dca284
1 parent c08797d
commit 9dca284
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/src/rt/ui.h b/src/rt/ui.h
@@ -60,6 +60,7 @@ namespace rt::ui
     bool draw_immutable_region;
     /// Indicates if local functions should be visible
     bool draw_funcs;
+    bool highlight_unreachable = true;
 
     std::vector<objects::DynObject*> error_objects;
     std::vector<objects::Edge> error_edges;

diff --git a/src/rt/ui/mermaid.cc b/src/rt/ui/mermaid.cc
@@ -84,7 +84,6 @@ namespace rt::ui
 
     // Give a nice id to each object.
     std::map<objects::DynObject*, NodeInfo> nodes;
-    std::map<objects::Region*, std::vector<std::size_t>> region_strings;
     std::map<objects::Region*, RegionInfo> regions;
 
   public:
@@ -198,8 +197,10 @@ namespace rt::ui
         // Footer
         out << markers.second;
         out
-          << (dst->is_immutable() ? ":::immutable" :
-                                    (reachable ? "" : ":::unreachable"));
+          << (dst->is_immutable() ?
+                ":::immutable" :
+                (reachable && info->highlight_unreachable ? "" :
+                                                            ":::unreachable"));
         out << std::endl;
 
         result = node;
@@ -503,6 +504,7 @@ namespace rt::ui
   {
     // Make sure ui doesn't pause
     steps += 10;
+    highlight_unreachable = false;
 
     // Construct message
     std::stringstream ss;