Update graph colours after settings change.

zxcalc · Nov 10, 2023 · ae77c64 · ae77c64
1 parent d4d6f44
commit ae77c64
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 1 deletion.
diff --git a/zxlive/base_panel.py b/zxlive/base_panel.py
@@ -100,4 +100,4 @@ def copy_selection(self) -> GraphT:
         return copied_graph
 
     def update_colors(self) -> None:
-        pass
+        self.graph_scene.update_colors()
diff --git a/zxlive/editor_base_panel.py b/zxlive/editor_base_panel.py
@@ -95,6 +95,7 @@ def update_side_bar(self) -> None:
         populate_list_widget(self.edge_list, edges_data(), self._ety_clicked)
 
     def update_colors(self) -> None:
+        super().update_colors()
         self.update_side_bar()
 
     def update_variable_viewer(self) -> None:

diff --git a/zxlive/graphscene.py b/zxlive/graphscene.py
@@ -166,6 +166,12 @@ def update_graph(self, new: GraphT, select_new: bool = False) -> None:
 
         self.select_vertices(selected_vertices)
 
+    def update_colors(self) -> None:
+        for v in self.vertex_map.values():
+            v.refresh()
+        for e in self.edge_map.values():
+            e.refresh()
+
     def add_items(self) -> None:
         """Add QGraphicsItem's for all vertices and edges in the graph"""
         self.vertex_map = {}