[font for DecimalNumber] render DecimalNumber objects in different fonts. #manim #decimalnumber #integer #font

20240523_decimalfont.py

from manim.mobject.text.numbers import string_to_mob_map as cache

# https://discord.com/channels/581738731934056449/1243063440206073907/1243210818837811230
class numText(Text):
    def __init__(self, text: str, **kwargs) -> None:
        print('hello')
        super().__init__(text,  font="Roboto", **kwargs)

class Test(Scene):
    def construct(self):
        num0 = DecimalNumber(1234567.789)
        cache.clear()
        num1 = DecimalNumber(1234567.789, mob_class=numText).next_to(num0, DOWN)
        cache.clear()
        num2 = Integer(98765).next_to(num1, DOWN)
        cache.clear()
        num3 = Integer(98765, mob_class=numText).next_to(num2, DOWN)
        self.add(num0,num1,num2,num3)

readme.md

https://discord.com/channels/581738731934056449/1243063440206073907/1243210818837811230