emit selection changed when edge is selected

zxcalc · Jun 30, 2024 · fca5ed2 · fca5ed2
1 parent 6887395
commit fca5ed2
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/zxlive/eitem.py b/zxlive/eitem.py
@@ -144,6 +144,7 @@ def mouseReleaseEvent(self, e: QGraphicsSceneMouseEvent) -> None:
             self._old_pos = None
         self.is_dragging = False
         self.is_mouse_pressed = False
+        self.graph_scene.selection_changed_custom.emit()
 
 
 

diff --git a/zxlive/proof_panel.py b/zxlive/proof_panel.py
@@ -419,7 +419,6 @@ def _refresh_rewrites_model(self) -> None:
         model = RewriteActionTreeModel.from_dict(action_groups, self)
         self.rewrites_panel.setModel(model)
         self.rewrites_panel.clicked.connect(model.do_rewrite)
-        # TODO: Right now this calls for every single vertex selected, even if we select many at the same time
         self.graph_scene.selection_changed_custom.connect(lambda: model.executor.submit(model.update_on_selection))