From 713b7c32ca8a6f2cb2ca6205506c471fbac87e5f Mon Sep 17 00:00:00 2001 From: Toby Lane Date: Sat, 6 Jul 2024 18:09:31 +0200 Subject: [PATCH] minor changes to line sizes --- src/editor.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/editor.py b/src/editor.py index 151027d..ac7c9f6 100644 --- a/src/editor.py +++ b/src/editor.py @@ -67,8 +67,8 @@ class Editor: self.state: State = State.STOPPING self.graph = Graph() self.typing_text: str = "" - self.node_radius: int = 10 - self.line_size: int = int(self.node_radius / 5) + self.node_radius: int = 5 + self.line_size: int = 3 self.edge_detect_radius: int = 3 * self.line_size self.selected_nodes: list[int] = [] self.selected_edges: list[int] = []