Method set_size

dm_control/viewer/renderer.py:625–633

Changes the viewport size. Args: width: Viewport width, in pixels. height: Viewport height, in pixels.

(self, width, height)

    self._screen_size = mujoco.MjrRect(0, 0, width, height)

  def set_size(self, width, height):
    """Changes the viewport size.

    Args:
      width: Viewport width, in pixels.
      height: Viewport height, in pixels.
    """
    self._screen_size.width = width
    self._screen_size.height = height

  def screen_to_viewport(self, screen_coordinates):
    """Converts screen coordinates to viewport coordinates.