Too many changes in #23. So I want to ask this here (perhaps there are too many config options):
Add font options withinMjrContext?
viewer.__init__(font="small") # or "large"
if font == "large":
self.ctx = mujoco.MjrContext(
self.model, mujoco.mjtFontScale.mjFONTSCALE_150.value)
elif font == "small":
self.ctx = mujoco.MjrContext(
self.model, mujoco.mjtFontScale.mjFONTSCALE_100.value)
| Small |
Large |
 |
 |