From d5aba0efe42f5d7876bef39ce53adf21a2a3ec26 Mon Sep 17 00:00:00 2001
From: Jerry Tworek <jerry@millionintegrals.com>
Date: Mon, 12 Aug 2019 14:22:14 -0700
Subject: [PATCH] Render to arbitrary resolution buffer.
---
mujoco_py/mjviewer.py | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/mujoco_py/mjviewer.py b/mujoco_py/mjviewer.py
index 4c26c0d..66ac942 100644
--- a/mujoco_py/mjviewer.py
+++ b/mujoco_py/mjviewer.py
@@ -205,10 +205,10 @@ class MjViewer(MjViewerBasic):
self._markers[:] = []
self._overlay.clear()
- def _read_pixels_as_in_window(self):
+ def _read_pixels_as_in_window(self, resolution=None):
# Reads pixels with markers and overlay from the same camera as screen.
- resolution = glfw.get_framebuffer_size(
- self.sim._render_context_window.window)
+ if resolution is None:
+ resolution = glfw.get_framebuffer_size(self.sim._render_context_window.window)
resolution = np.array(resolution)
resolution = resolution * min(1000 / np.min(resolution), 1)
--
GitLab