Modify the UI appearance of MuJoCo Studio.
PiperOrigin-RevId: 935247135 Change-Id: I4c35cf2f0cdfa36aa6d3c65c52a752edab266531
This commit is contained in:
committed by
Copybara-Service
parent
b1e3753a1a
commit
6039d4680a
+9
-9
@@ -1,4 +1,4 @@
|
||||
# Copyright 2025 DeepMind Technologies Limited
|
||||
# Copyright 2026 DeepMind Technologies Limited
|
||||
#
|
||||
# Licensed under the Apache License, Version 2.0 (the "License");
|
||||
# you may not use this file except in compliance with the License.
|
||||
@@ -12,17 +12,17 @@
|
||||
# See the License for the specific language governing permissions and
|
||||
# limitations under the License.
|
||||
|
||||
set(MUJOCO_DEP_VERSION_opensans
|
||||
3d45774008254746e09bce4f8922b515a7b6a26b
|
||||
CACHE STRING "Tag/version of `opensans` to be fetched."
|
||||
set(MUJOCO_DEP_VERSION_atkinson_hyperlegible_next
|
||||
5d633f80fc654ef5fffa7cfc257528685158dcef
|
||||
CACHE STRING "Tag/version of `atkinson_hyperlegible_next` to be fetched."
|
||||
)
|
||||
mark_as_advanced(MUJOCO_DEP_VERSION_opensans)
|
||||
mark_as_advanced(MUJOCO_DEP_VERSION_atkinson_hyperlegible_next)
|
||||
|
||||
include(FindOrFetch)
|
||||
|
||||
fetchpackage(
|
||||
PACKAGE_NAME opensans
|
||||
GIT_REPO https://github.com/googlefonts/opensans.git
|
||||
GIT_TAG ${MUJOCO_DEP_VERSION_opensans}
|
||||
CUSTOM_CMAKE "${CMAKE_SOURCE_DIR}/cmake/third_party_deps/opensans/CMakeLists.txt"
|
||||
PACKAGE_NAME atkinson_hyperlegible_next
|
||||
GIT_REPO https://github.com/googlefonts/atkinson-hyperlegible-next.git
|
||||
GIT_TAG ${MUJOCO_DEP_VERSION_atkinson_hyperlegible_next}
|
||||
CUSTOM_CMAKE "${CMAKE_SOURCE_DIR}/cmake/third_party_deps/atkinson_hyperlegible_next/CMakeLists.txt"
|
||||
)
|
||||
+1
-1
@@ -1,4 +1,4 @@
|
||||
# Copyright 2025 DeepMind Technologies Limited
|
||||
# Copyright 2026 DeepMind Technologies Limited
|
||||
#
|
||||
# Licensed under the Apache License, Version 2.0 (the "License");
|
||||
# you may not use this file except in compliance with the License.
|
||||
Reference in New Issue
Block a user