public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-08-05 16:49:03 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Allow stretched-resizing

Browse source
This commit is contained in:
Grant Sanderson 2022-04-21 15:31:46 -07:00
parent 78a7078772
commit b4b72d1b68
2 changed files with 18 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
manimlib/constants.py
View file

@ -74,6 +74,7 @@ DEFAULT_STROKE_WIDTH = 4
# For keyboard interactions # For keyboard interactions
CTRL_SYMBOL = 65508 CTRL_SYMBOL = 65508
SHIFT_SYMBOL = 65505 SHIFT_SYMBOL = 65505
COMMAND_SYMBOL = 65517
DELETE_SYMBOL = 65288 DELETE_SYMBOL = 65288
ARROW_SYMBOLS = list(range(65361, 65365)) ARROW_SYMBOLS = list(range(65361, 65365))

14
manimlib/scene/interactive_scene.py
View file

@ -6,7 +6,7 @@ from manimlib.animation.fading import FadeIn
from manimlib.constants import MANIM_COLORS, WHITE from manimlib.constants import MANIM_COLORS, WHITE
from manimlib.constants import ORIGIN, UP, DOWN, LEFT, RIGHT, DL, UL, UR, DR from manimlib.constants import ORIGIN, UP, DOWN, LEFT, RIGHT, DL, UL, UR, DR
from manimlib.constants import FRAME_WIDTH, SMALL_BUFF from manimlib.constants import FRAME_WIDTH, SMALL_BUFF
from manimlib.constants import SHIFT_SYMBOL, DELETE_SYMBOL, ARROW_SYMBOLS from manimlib.constants import SHIFT_SYMBOL, CTRL_SYMBOL, DELETE_SYMBOL, ARROW_SYMBOLS
from manimlib.constants import SHIFT_MODIFIER, COMMAND_MODIFIER from manimlib.constants import SHIFT_MODIFIER, COMMAND_MODIFIER
from manimlib.mobject.mobject import Mobject from manimlib.mobject.mobject import Mobject
from manimlib.mobject.geometry import Rectangle from manimlib.mobject.geometry import Rectangle
@ -258,6 +258,7 @@ class InteractiveScene(Scene):
self.scale_about_point = center self.scale_about_point = center
self.scale_ref_vect = mp - self.scale_about_point self.scale_ref_vect = mp - self.scale_about_point
self.scale_ref_width = self.selection.get_width() self.scale_ref_width = self.selection.get_width()
self.scale_ref_height = self.selection.get_height()
# Event handlers # Event handlers
@ -367,8 +368,17 @@ class InteractiveScene(Scene):
self.selection.set_y((point - self.mouse_to_selection)[1]) self.selection.set_y((point - self.mouse_to_selection)[1])
# Scale selection # Scale selection
elif self.window.is_key_pressed(ord(RESIZE_KEY)): elif self.window.is_key_pressed(ord(RESIZE_KEY)):
# TODO, allow for scaling about the opposite corner
vect = point - self.scale_about_point vect = point - self.scale_about_point
if self.window.is_key_pressed(CTRL_SYMBOL):
for i in (0, 1):
scalar = vect[i] / self.scale_ref_vect[i]
self.selection.rescale_to_fit(
scalar * [self.scale_ref_width, self.scale_ref_height][i],
dim=i,
about_point=self.scale_about_point,
stretch=True,
)
else:
scalar = get_norm(vect) / get_norm(self.scale_ref_vect) scalar = get_norm(vect) / get_norm(self.scale_ref_vect)
self.selection.set_width( self.selection.set_width(
scalar * self.scale_ref_width, scalar * self.scale_ref_width,