afonso/core-extra
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

gui: fixed issue where wireless edges were not properly attempting to arc common edges when added/deleted

Browse source
This commit is contained in:
Blake Harnden 2022-04-26 10:16:36 -07:00
parent 0b420cfc07
commit 0a0248d8b2
1 changed files with 3 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
daemon/core/gui/graph/edges.py
View file

@ -416,6 +416,8 @@ class Edge:
self.src_label2 = None self.src_label2 = None
self.dst_label = None self.dst_label = None
self.dst_label2 = None self.dst_label2 = None
if self.dst:
self.arc_common_edges()
def hide(self) -> None: def hide(self) -> None:
self.hidden = True self.hidden = True
@ -507,6 +509,7 @@ class CanvasWirelessEdge(Edge):
if self.src.hidden or self.dst.hidden: if self.src.hidden or self.dst.hidden:
self.hide() self.hide()
self.set_binding() self.set_binding()
self.arc_common_edges()
def set_binding(self) -> None: def set_binding(self) -> None:
self.src.canvas.tag_bind(self.id, "<Button-1>", self.show_info) self.src.canvas.tag_bind(self.id, "<Button-1>", self.show_info)
@ -758,6 +761,4 @@ class CanvasEdge(Edge):
self.src.delete_antenna() self.src.delete_antenna()
self.app.core.deleted_canvas_edges([self]) self.app.core.deleted_canvas_edges([self])
super().delete() super().delete()
if self.dst:
self.arc_common_edges()
self.manager.edges.pop(self.token, None) self.manager.edges.pop(self.token, None)