opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-02 11:03:03 +08:00
Code Issues Packages Projects Releases Wiki Activity

Slight speed-up to InteractiveScene.gather_selection

Browse Source
This commit is contained in:
Grant Sanderson
2022-04-24 13:24:55 -07:00
parent e49e4b8373
commit f2b4245c13
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
manimlib/scene/interactive_scene.py
View File

@ -318,9 +318,11 @@ class InteractiveScene(Scene):
def gather_new_selection(self):
self.is_selecting = False
self.remove(self.selection_rectangle)
additions = []
for mob in reversed(self.get_selection_search_set()):
if self.selection_rectangle.is_touching(mob):
self.add_to_selection(mob)
additions.append(mob)
self.add_to_selection(*additions)
def prepare_grab(self):
mp = self.mouse_point.get_center()