public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-04-13 09:47:07 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Slight tweaks to crosshair

Browse source
This commit is contained in:
Grant Sanderson 2022-05-02 11:13:05 -07:00
parent c019210015
commit a09c440281
1 changed files with 2 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
manimlib/scene/interactive_scene.py
View file

@ -159,7 +159,7 @@ class InteractiveScene(Scene):
crosshair.set_points([*lines[0].get_points(), *lines[1].get_points()])
crosshair.set_width(self.crosshair_width)
crosshair.set_stroke(self.crosshair_color, width=[2, 0, 2, 2, 0, 2])
crosshair.time_since_movement = 10
crosshair.set_animating_status(True)
return crosshair
def get_color_palette(self):
@ -301,8 +301,6 @@ class InteractiveScene(Scene):
self.selection.set_submobjects([])
self.refresh_static_mobjects()
self.regenerate_selection_search_set()
def disable_interaction(self, *mobjects: Mobject):
for mob in mobjects:
for sm in mob.get_family():
@ -481,7 +479,7 @@ class InteractiveScene(Scene):
self.prepare_resizing(about_corner=False)
# Removing crosshair
if chr(symbol) in [SELECT_KEY, CURSOR_KEY]:
self.play(FadeOut(self.crosshair, run_time=0.25))
self.remove(self.crosshair)
# Mouse actions
def handle_grabbing(self, point: np.ndarray):