Mermaid: Remove info node

fxpl · Nov 1, 2024 · 75b0056 · 75b0056
1 parent 1d30697
commit 75b0056
Showing 1 changed file with 0 additions and 19 deletions.
diff --git a/src/rt/ui/mermaid.cc b/src/rt/ui/mermaid.cc
@@ -103,7 +103,6 @@ namespace rt::ui
       draw_regions();
       draw_taint();
       draw_error();
-      draw_info();
 
       out << "classDef unreachable stroke-width:2px,stroke:"
           << UNREACHABLE_NODE_COLOR << std::endl;
@@ -359,24 +358,6 @@ namespace rt::ui
         out << "class " << *node_info << " error;" << std::endl;
       }
     }
-
-    void draw_info()
-    {
-      auto globals = rt::core::globals();
-      auto local_ctn = objects::DynObject::get_count() - globals->size();
-
-      // Header
-      out << "subgraph info" << std::endl;
-      out << "  i01[";
-
-      // Info
-      out << "Locals: " << local_ctn << "<br/>";
-      out << "Globals: " << globals->size() << "<br/>";
-
-      // Footer
-      out << "]" << std::endl;
-      out << "end" << std::endl;
-    }
   };
 
   MermaidUI::MermaidUI()