From 2f4375dda30991898e61accf00b3e8dcf56fd1ec Mon Sep 17 00:00:00 2001 From: Yuval Tassa Date: Tue, 5 Aug 2025 07:49:36 -0700 Subject: [PATCH] Add font_scale option to Renderer PiperOrigin-RevId: 791213051 Change-Id: I22efd8d09637edbd9a4861132dfff3b46e9340bc --- python/mujoco/renderer.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/python/mujoco/renderer.py b/python/mujoco/renderer.py index 68175755..47fb14dd 100644 --- a/python/mujoco/renderer.py +++ b/python/mujoco/renderer.py @@ -33,6 +33,7 @@ class Renderer: height: int = 240, width: int = 320, max_geom: int = 10000, + font_scale: _enums.mjtFontScale = _enums.mjtFontScale.mjFONTSCALE_150, ) -> None: """Initializes a new `Renderer`. @@ -43,6 +44,7 @@ class Renderer: max_geom: Optional integer specifying the maximum number of geoms that can be rendered in the same scene. If None this will be chosen automatically based on the estimated maximum number of renderable geoms in the model. + font_scale: Optional enum specifying the font scale for text. Raises: ValueError: If `camera_id` is outside the valid range, or if `width` or @@ -84,9 +86,7 @@ the clause: self._gl_context = gl_context.GLContext(width, height) if self._gl_context: self._gl_context.make_current() - self._mjr_context = _render.MjrContext( - model, _enums.mjtFontScale.mjFONTSCALE_150.value - ) + self._mjr_context = _render.MjrContext(model, font_scale.value) _render.mjr_setBuffer( _enums.mjtFramebuffer.mjFB_OFFSCREEN.value, self._mjr_context )