From 8a4d7b4e8cec4239e5ef58a4ef9d4dbb0f07adab Mon Sep 17 00:00:00 2001 From: Grant Sanderson Date: Mon, 6 Nov 2023 12:34:39 -0500 Subject: [PATCH] Add a small hack to ensure Window resets properly in non-primary monitors --- manimlib/window.py | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/manimlib/window.py b/manimlib/window.py index 299a4c8d..152da54d 100644 --- a/manimlib/window.py +++ b/manimlib/window.py @@ -27,7 +27,7 @@ class Window(PygletWindow): self, scene: Scene, size: tuple[int, int] = (1280, 720), - samples = 0 + samples: int = 0 ): scene.window = self super().__init__(size=size, samples=samples) @@ -47,9 +47,12 @@ class Window(PygletWindow): self.to_default_position() def to_default_position(self): - self.size = self.default_size 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]: custom_position = get_customization()["window_position"]