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

Add a small hack to ensure Window resets properly in non-primary monitors

Browse source
This commit is contained in:
Grant Sanderson 2023-11-06 12:34:39 -05:00
parent 246a010799
commit 8a4d7b4e8c
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
manimlib/window.py
View file

@ -27,7 +27,7 @@ class Window(PygletWindow):
self, self,
scene: Scene, scene: Scene,
size: tuple[int, int] = (1280, 720), size: tuple[int, int] = (1280, 720),
samples = 0 samples: int = 0
): ):
scene.window = self scene.window = self
super().__init__(size=size, samples=samples) super().__init__(size=size, samples=samples)
@ -47,9 +47,12 @@ class Window(PygletWindow):
self.to_default_position() self.to_default_position()
def to_default_position(self): def to_default_position(self):
self.size = self.default_size
self.position = self.default_position self.position = self.default_position
self.swap_buffers() # Hack. Sometimes, namely when configured to open in a separate window,
# the window needs to be resized to display correctly.
w, h = self.default_size
self.size = (w - 1, h - 1)
self.size = (w, h)
def find_initial_position(self, size: tuple[int, int]) -> tuple[int, int]: def find_initial_position(self, size: tuple[int, int]) -> tuple[int, int]:
custom_position = get_customization()["window_position"] custom_position = get_customization()["window_position"]