Renamed 'highlight' to 'set_color'

This commit is contained in:
Grant Sanderson
2018-03-30 11:51:31 -07:00
parent 3ec4d89e10
commit 618590bee1
103 changed files with 3909 additions and 3910 deletions

View File

@ -107,8 +107,8 @@ class Hand(ImageMobject):
def shrink(self):
self.scale_in_place(0.8).to_edge(DOWN, buff = 0.0)
# def highlight_thumb(self, color = "yellow"):
# self.highlight(
# def set_color_thumb(self, color = "yellow"):
# self.set_color(
# color = color,
# condition = lambda p : p[0] > 4.5 and p[1] > -1.5
# )
@ -338,7 +338,7 @@ class ShowIncrementRule(Scene):
def get_arrow_set(self, num):
arrow = TexMobject("\\downarrow", size = "\\Huge")
arrow.highlight("green")
arrow.set_color("green")
arrow.shift(-arrow.get_bottom())
if num == 12:
tips = [(4, 1, 0)]
@ -392,7 +392,7 @@ class MindFindsShortcuts(Scene):
)
self.wait()
self.play(
Transform(compound, Arrow(hand, seven).highlight("yellow")),
Transform(compound, Arrow(hand, seven).set_color("yellow")),
ShimmerIn(TextMobject("Directly recognize").shift(1.5*DOWN+2*RIGHT))
)
self.wait()
@ -415,11 +415,11 @@ class MindFindsShortcuts(Scene):
self.wait()
self.play(
Transform(
deepcopy(hands[16]).highlight("black").center().shift(hands[23].get_center()),
deepcopy(hands[16]).set_color("black").center().shift(hands[23].get_center()),
hands[16]
),
Transform(
deepcopy(hands[7]).highlight("black").center().shift(hands[23].get_center()),
deepcopy(hands[7]).set_color("black").center().shift(hands[23].get_center()),
hands[7]
),
Animation(hands[23]),