diff --git a/manimlib/scene/interactive_scene.py b/manimlib/scene/interactive_scene.py index 2f5a8145..0f9ad886 100644 --- a/manimlib/scene/interactive_scene.py +++ b/manimlib/scene/interactive_scene.py @@ -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):