in mujoco_py/opengl_context.pyx [0:0]
def _set_window_size(self, target_width, target_height):
self.make_context_current()
if target_width != self._width or target_height != self._height:
self._width = target_width
self._height = target_height
glfw.set_window_size(self.window, target_width, target_height)
# HAX: When running on a Mac with retina screen, the size
# sometimes doubles
width, height = glfw.get_framebuffer_size(self.window)
if target_width != width and "darwin" in sys.platform.lower():
glfw.set_window_size(self.window, target_width // 2, target_height // 2)