mirrors/manim
2
0
Fork 0
mirror of https://github.com/ManimCommunity/manim.git synced 2026-06-22 10:01:47 +00:00
Code Issues Projects Releases Packages Wiki Activity

Fix window being internally None after hitting quit

Browse source 
When hitting escape, the window becomes null and calls to window.swap_buffer fail
This commit is contained in:
JasonGrace2282 2024-07-19 10:12:15 -04:00
commit ce752bf57a
No known key found for this signature in database
GPG key ID: 8D61FE3F93FB15FA
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
manim/manager.py
View file

@ -229,6 +229,9 @@ class Manager(Generic[Scene_co]):
if self.window is not None:
self.window.clear()
if self.window.is_closing:
raise EndSceneEarlyException()
self.render_state(write_to_file=write_to_file)
if self.window is not None: