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

Have buff between Decimal digits change with font size

Browse source
This commit is contained in:
Grant Sanderson 2021-01-03 12:03:39 -08:00
parent c2b16d768e
commit 572383f541
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
manimlib/mobject/numbers.py
View file

@ -11,7 +11,7 @@ class DecimalNumber(VMobject):
"num_decimal_places": 2,
"include_sign": False,
"group_with_commas": True,
"digit_to_digit_buff": 0.1,
"digit_buff_per_font_unit": 0.001,
"show_ellipsis": False,
"unit": None, # Aligned to bottom unless it starts with "^"
"include_background_rectangle": False,
@ -47,7 +47,7 @@ class DecimalNumber(VMobject):
minus = self.submobjects[0]
minus.next_to(
self.submobjects[1], LEFT,
buff=self.digit_to_digit_buff
buff=self.digit_buff_per_font_unit * self.font_size,
)
if self.unit is not None:
@ -55,7 +55,7 @@ class DecimalNumber(VMobject):
self.add(self.unit_sign)
self.arrange(
buff=self.digit_to_digit_buff,
buff=self.digit_buff_per_font_unit * self.font_size,
aligned_edge=DOWN
)