Goldreich-Goldwasser-Halevi/components.py

15 lines
303 B
Python
Raw Normal View History

2023-05-29 16:13:54 +00:00
from manim import *
from consts import *
class TitledScene(Scene):
def add_title(self, title_text):
title = Tex(title_text, font_size=LARGE_FONT)
title.set_z_index(100)
title.to_edge(LEFT + UP)
self.add(title)
self.play(Write(title))
return title