Merge pull request #777 from 3b1b/hyperdarts

Hyperdarts
This commit is contained in:
Grant Sanderson
2019-10-28 15:38:09 -07:00
committed by GitHub
2 changed files with 13 additions and 8 deletions

View File

@ -230,16 +230,16 @@ class SceneFileWriter(object):
'-pix_fmt', 'rgba',
'-r', str(fps), # frames per second
'-i', '-', # The imput comes from a pipe
'-c:v', 'h264_nvenc',
'-an', # Tells FFMPEG not to expect any audio
'-loglevel', 'error',
]
# TODO, the test for a transparent background should not be based on
# the file extension.
if self.movie_file_extension == ".mov":
# This is if the background of the exported video
# should be transparent.
# This is if the background of the exported
# video should be transparent.
command += [
'-vcodec', 'qtrle',
# '-vcodec', 'png',
]
else:
command += [

View File

@ -4912,13 +4912,18 @@ class Thumbnail(SpiralScene):
dots.set_fill([TEAL_E, TEAL_A])
dots.set_stroke(BLACK, 1)
label = VGroup(
TextMobject("$(p, p)$ for all primes $p$, in polar"),
label = TextMobject(
"($p$, $p$) for all primes $p$,\\\\",
"in polar coordinates",
tex_to_color_map={
"$p$": YELLOW,
},
)
label.scale(2)
label.set_stroke(BLACK, 10, background=True)
label.add_background_rectangle()
label.to_corner(DL)
label.add_background_rectangle_to_submobjects()
label.to_corner(DL, MED_LARGE_BUFF)
self.add(dots)
self.add(label)