public-mirrors/3b1b-manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-11-14 03:37:44 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Change window position defaults

Browse source
This commit is contained in:
Grant Sanderson 2020-12-04 08:20:06 -08:00
parent c65dfb85d2
commit bbfce0f5be
3 changed files with 11 additions and 8 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
manimlib/config.py
View file

@ -232,8 +232,8 @@ def get_configuration(args):
config["camera_config"] = get_camera_configuration(args) config["camera_config"] = get_camera_configuration(args)
config["window_config"] = { config["window_config"] = {
"size": ( "size": (
config["camera_config"]["pixel_width"], manimlib.constants.DEFAULT_WINDOW_WIDTH,
config["camera_config"]["pixel_height"], manimlib.constants.DEFAULT_WINDOW_HEIGHT,
) )
} }

4
manimlib/constants.py
View file

@ -153,6 +153,10 @@ DEFAULT_PIXEL_HEIGHT = PRODUCTION_QUALITY_CAMERA_CONFIG["pixel_height"]
DEFAULT_PIXEL_WIDTH = PRODUCTION_QUALITY_CAMERA_CONFIG["pixel_width"] DEFAULT_PIXEL_WIDTH = PRODUCTION_QUALITY_CAMERA_CONFIG["pixel_width"]
DEFAULT_FRAME_RATE = 60 DEFAULT_FRAME_RATE = 60
DEFAULT_WINDOW_WIDTH = 896
DEFAULT_WINDOW_HEIGHT = 504
DEFAULT_WINDOW_POSITION = (897, 0)
DEFAULT_STROKE_WIDTH = 4 DEFAULT_STROKE_WIDTH = 4
FRAME_HEIGHT = 8.0 FRAME_HEIGHT = 8.0

11
manimlib/window.py
View file

@ -2,13 +2,14 @@ import moderngl_window as mglw
from moderngl_window.context.pyglet.window import Window as PygletWindow from moderngl_window.context.pyglet.window import Window as PygletWindow
from moderngl_window.timers.clock import Timer from moderngl_window.timers.clock import Timer
from manimlib.constants import DEFAULT_PIXEL_WIDTH from manimlib.constants import DEFAULT_WINDOW_WIDTH
from manimlib.constants import DEFAULT_PIXEL_HEIGHT from manimlib.constants import DEFAULT_WINDOW_HEIGHT
from manimlib.constants import DEFAULT_WINDOW_POSITION
from manimlib.utils.config_ops import digest_config from manimlib.utils.config_ops import digest_config
class Window(PygletWindow): class Window(PygletWindow):
size = (DEFAULT_PIXEL_WIDTH, DEFAULT_PIXEL_HEIGHT) size = (DEFAULT_WINDOW_WIDTH, DEFAULT_WINDOW_HEIGHT)
fullscreen = False fullscreen = False
resizable = True resizable = True
gl_version = (3, 3) gl_version = (3, 3)
@ -21,9 +22,7 @@ class Window(PygletWindow):
super().__init__(**kwargs) super().__init__(**kwargs)
self.scene = scene self.scene = scene
self.title = str(scene) self.title = str(scene)
# Put at the top of the screen self.position = DEFAULT_WINDOW_POSITION
# self.position = (self.position[0], 0)
self.position = (512, 0)
mglw.activate_context(window=self) mglw.activate_context(window=self)
self.timer = Timer() self.timer = Timer()