refined some nodeview behavior

2021-12-18 14:03:44 -08:00
parent 8ba5107e73
commit 671fafb496
2 changed files with 19 additions and 3 deletions
@@ -128,6 +128,11 @@ public:
  void AddEdge(NodeViewEdge* edge);
  void RemoveEdge(NodeViewEdge* edge);

+  bool IsLabelledAsOutputOfContext() const
+  {
+    return label_as_output_;
+  }
+
  void SetLabelAsOutput(bool e);

  void SetHighlighted(bool e);