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

Allow for customizable exception display mode with Scene.embed

Browse source
This commit is contained in:
Grant Sanderson 2022-12-29 14:38:25 -08:00
parent 4e014d7a8f
commit cba101995f
3 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
manimlib/config.py
View file

@ -491,4 +491,5 @@ def get_configuration(args: Namespace) -> dict:
"presenter_mode": args.presenter_mode, "presenter_mode": args.presenter_mode,
"leave_progress_bars": args.leave_progress_bars, "leave_progress_bars": args.leave_progress_bars,
"show_animation_progress": args.show_animation_progress, "show_animation_progress": args.show_animation_progress,
"embed_exception_mode": custom_config["embed_exception_mode"],
} }

1
manimlib/default_config.yml
View file

@ -42,3 +42,4 @@ camera_resolutions:
4k: "3840x2160" 4k: "3840x2160"
default_resolution: "high" default_resolution: "high"
fps: 30 fps: 30
embed_exception_mode: "Verbose"

4
manimlib/scene/scene.py
View file

@ -74,6 +74,7 @@ class Scene(object):
preview: bool = True, preview: bool = True,
presenter_mode: bool = False, presenter_mode: bool = False,
show_animation_progress: bool = False, show_animation_progress: bool = False,
embed_exception_mode = "",
): ):
self.skip_animations = skip_animations self.skip_animations = skip_animations
self.always_update_mobjects = always_update_mobjects self.always_update_mobjects = always_update_mobjects
@ -83,6 +84,7 @@ class Scene(object):
self.preview = preview self.preview = preview
self.presenter_mode = presenter_mode self.presenter_mode = presenter_mode
self.show_animation_progress = show_animation_progress self.show_animation_progress = show_animation_progress
self.embed_exception_mode = embed_exception_mode
self.camera_config = {**self.default_camera_config, **camera_config} self.camera_config = {**self.default_camera_config, **camera_config}
self.window_config = {**self.default_window_config, **window_config} self.window_config = {**self.default_window_config, **window_config}
@ -249,6 +251,8 @@ class Scene(object):
shell.events.register("post_run_cell", post_cell_func) shell.events.register("post_run_cell", post_cell_func)
shell.magic(f"xmode {self.embed_exception_mode}")
# Launch shell # Launch shell
shell( shell(
local_ns=local_ns, local_ns=local_ns,