Goldreich-Goldwasser-Halevi/components.py
2023-05-29 17:13:54 +01:00

15 lines
303 B
Python

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