opensource/manim
1
0
Fork 0
mirror of https://github.com/3b1b/manim.git synced 2025-07-28 04:23:16 +08:00
Code Issues Packages Projects Releases Wiki Activity

make window_position changeable

Browse Source
This commit is contained in:
Tony031218
2021-01-16 10:46:30 +08:00
parent 453ccc2765
commit b7bd40a6f6
2 changed files with 21 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
manimlib/config.py
View File

@ -203,7 +203,23 @@ def get_configuration(args):
else:
window_width = monitor.width / 2
window_height = window_width * 9 / 16
window_position = (int(monitor.width - window_width), 0)
custom_position = custom_defaults["window_position"]
if "," in custom_position:
posx, posy = map(int, custom_position.split(","))
else:
if custom_position[1] == "L":
posx = 0
elif custom_position[1] == "O":
posx = int((monitor.width - window_width) / 2)
elif custom_position[1] == "R":
posx = int(monitor.width - window_width)
if custom_position[0] == "U":
posy = 0
elif custom_position[0] == "O":
posy = int((monitor.height - window_height) / 2)
elif custom_position[0] == "D":
posy = int(monitor.height - window_height)
window_position = (posx, posy)
config["window_config"] = {
"size": (window_width, window_height),
"position": window_position,