public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-01 00:48:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix bug with trying to close window during embed

Browse source
This commit is contained in:
Grant Sanderson 2022-04-22 10:16:43 -07:00
parent 581228b08f
commit e0f5686d66
1 changed files with 5 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
manimlib/scene/scene.py
View file

@ -163,7 +163,11 @@ class Scene(object):
# Enables gui interactions during the embed # Enables gui interactions during the embed
def inputhook(context): def inputhook(context):
while not context.input_is_ready(): while not context.input_is_ready():
self.update_frame() if self.window.is_closing:
pass
# self.window.destroy()
else:
self.update_frame(dt=0)
pt_inputhooks.register("manim", inputhook) pt_inputhooks.register("manim", inputhook)
shell.enable_gui("manim") shell.enable_gui("manim")