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

Change to a default where scrolling zooms, and dragging pans

Browse source
This commit is contained in:
Grant Sanderson 2023-01-28 22:59:54 -08:00
parent 2705ba3afa
commit e58aea9e2f
1 changed files with 3 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

10
manimlib/scene/scene.py
View file

@ -53,7 +53,6 @@ if TYPE_CHECKING:
PAN_3D_KEY = 'd' PAN_3D_KEY = 'd'
FRAME_SHIFT_KEY = 'f' FRAME_SHIFT_KEY = 'f'
ZOOM_KEY = 'z'
RESET_FRAME_KEY = 'r' RESET_FRAME_KEY = 'r'
QUIT_KEY = 'q' QUIT_KEY = 'q'
@ -61,7 +60,6 @@ QUIT_KEY = 'q'
class Scene(object): class Scene(object):
random_seed: int = 0 random_seed: int = 0
pan_sensitivity: float = 0.5 pan_sensitivity: float = 0.5
scroll_sensitivity: float = 10.0
max_num_saved_states: int = 50 max_num_saved_states: int = 50
default_camera_config: dict = dict() default_camera_config: dict = dict()
default_window_config: dict = dict() default_window_config: dict = dict()
@ -832,6 +830,7 @@ class Scene(object):
modifiers: int modifiers: int
) -> None: ) -> None:
self.mouse_drag_point.move_to(point) self.mouse_drag_point.move_to(point)
self.frame.shift(-d_point)
event_data = {"point": point, "d_point": d_point, "buttons": buttons, "modifiers": modifiers} event_data = {"point": point, "d_point": d_point, "buttons": buttons, "modifiers": modifiers}
propagate_event = EVENT_DISPATCHER.dispatch(EventType.MouseDragEvent, **event_data) propagate_event = EVENT_DISPATCHER.dispatch(EventType.MouseDragEvent, **event_data)
@ -872,11 +871,8 @@ class Scene(object):
return return
frame = self.camera.frame frame = self.camera.frame
if self.window.is_key_pressed(ord(ZOOM_KEY)): ff_offset = offset * FRAME_HEIGHT / frame.get_height()
ff_offset = offset * FRAME_HEIGHT / frame.get_height() frame.scale(1 - ff_offset[1], about_point=point)
frame.scale(1 - ff_offset[1], about_point=point)
else:
frame.shift(-self.scroll_sensitivity * offset)
def on_key_release( def on_key_release(
self, self,