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

Added --leave_progress_bars option, with the deault being to remove them

Browse source
This commit is contained in:
Grant Sanderson 2019-01-16 11:08:14 -08:00
parent 1064f80d5b
commit 214ba5979b
2 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
manimlib/config.py
View file

@ -98,6 +98,11 @@ def parse_cli():
action="store_true", action="store_true",
help="Play a success/failure sound", help="Play a success/failure sound",
) )
parser.add_argument(
"--leave_progress_bars",
action="store_true",
help="Leave progress bars displayed in terminal",
)
# For live streaming # For live streaming
module_location.add_argument( module_location.add_argument(
@ -184,6 +189,7 @@ def get_configuration(args):
"start_at_animation_number": args.start_at_animation_number, "start_at_animation_number": args.start_at_animation_number,
"end_at_animation_number": None, "end_at_animation_number": None,
"sound": args.sound, "sound": args.sound,
"leave_progress_bars": args.leave_progress_bars
} }
# Camera configuration # Camera configuration

3
manimlib/extract_scene.py
View file

@ -133,7 +133,8 @@ def main(config):
"movie_file_extension", "movie_file_extension",
"start_at_animation_number", "start_at_animation_number",
"end_at_animation_number", "end_at_animation_number",
"output_file_name" "output_file_name",
"leave_progress_bars",
] ]
]) ])
if config["save_pngs"]: if config["save_pngs"]: