public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Change keyboard shortcut to drop into an embedding to be ctrl+shift+e

Browse source
This commit is contained in:
Grant Sanderson 2022-02-15 10:10:57 -08:00
parent 133724d29a
commit 46e356e791
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
manimlib/scene/scene.py
View file

@ -631,7 +631,7 @@ class Scene(object):
self.quit_interaction = True
elif char == " " or symbol == 65363: # Space or right arrow
self.hold_on_wait = False
elif char == "e":
elif char == "e" and modifiers == 3: # ctrl + shift + e
self.embed(close_scene_on_exit=False)
def on_resize(self, width: int, height: int):