From 46e356e791035c8484d8067b6f7994ecb425d7b3 Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Tue, 15 Feb 2022 10:10:57 -0800 Subject: [PATCH] Change keyboard shortcut to drop into an embedding to be ctrl+shift+e --- manimlib/scene/scene.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manimlib/scene/scene.py b/manimlib/scene/scene.py index 4cccc142..ef72f711 100644 --- a/manimlib/scene/scene.py +++ b/manimlib/scene/scene.py @@ -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):