From d28f30dc4a6ba34932b57b6f0b22cf7d365ce8a4 Mon Sep 17 00:00:00 2001 From: Tony031218 <975062472@qq.com> Date: Sat, 2 Jan 2021 19:16:35 +0800 Subject: [PATCH] fix bugs of window position on Windows --- manimlib/constants.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manimlib/constants.py b/manimlib/constants.py index a1a01e06..4b6b25b2 100644 --- a/manimlib/constants.py +++ b/manimlib/constants.py @@ -159,7 +159,7 @@ DEFAULT_FRAME_RATE = 60 monitor = get_monitors()[0] DEFAULT_WINDOW_WIDTH = monitor.width / 2 DEFAULT_WINDOW_HEIGHT = DEFAULT_WINDOW_WIDTH * 9 / 16 -DEFAULT_WINDOW_POSITION = (DEFAULT_WINDOW_WIDTH, 0) +DEFAULT_WINDOW_POSITION = (int(DEFAULT_WINDOW_WIDTH), 0) DEFAULT_STROKE_WIDTH = 4