refresh nodesets event
This commit is contained in:
parent
9315b91d23
commit
146bd57a16
|
@ -420,6 +420,7 @@ class GUI(Animation):
|
|||
def toggle(self):
|
||||
if self.active:
|
||||
self.deactivate()
|
||||
self.get_game().delegate.post("refresh-nodesets")
|
||||
else:
|
||||
self.activate()
|
||||
|
||||
|
|
Loading…
Reference in New Issue