public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-09-01 00:48:45 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Merge pull request #412 from 3b1b/clacks

Browse source 
Clacks
This commit is contained in:
Grant Sanderson 2019-01-18 14:15:34 -08:00 • committed by GitHub
commit 3a16f1b7c4
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 4 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
manimlib/mobject/numbers.py
View file

@ -105,9 +105,9 @@ class DecimalNumber(VMobject):
full_config.update(self.initial_config) full_config.update(self.initial_config)
full_config.update(config) full_config.update(config)
new_decimal = DecimalNumber(number, **full_config) new_decimal = DecimalNumber(number, **full_config)
# new_decimal.match_height(self) # Make sure last digit has constant height
new_decimal.scale( new_decimal.scale(
self[0].get_height() / new_decimal[0].get_height() self[-1].get_height() / new_decimal[-1].get_height()
) )
new_decimal.move_to(self, self.edge_to_fix) new_decimal.move_to(self, self.edge_to_fix)
new_decimal.match_style(self) new_decimal.match_style(self)

6
manimlib/scene/scene.py
View file

@ -788,8 +788,7 @@ class Scene(Container):
for pf_path in partial_movie_files: for pf_path in partial_movie_files:
if os.name == 'nt': if os.name == 'nt':
pf_path = pf_path.replace('\\', '/') pf_path = pf_path.replace('\\', '/')
fp.write("file \'{}\'\n".format(pf_path))
fp.write("file {}\n".format(pf_path))
movie_file_path = self.get_movie_file_path() movie_file_path = self.get_movie_file_path()
commands = [ commands = [
@ -807,8 +806,7 @@ class Scene(Container):
combine_process = subprocess.Popen(commands) combine_process = subprocess.Popen(commands)
combine_process.wait() combine_process.wait()
os.remove(file_list) # os.remove(file_list)
print("File ready at {}".format(movie_file_path))
if self.includes_sound: if self.includes_sound:
sound_file_path = movie_file_path.replace( sound_file_path = movie_file_path.replace(