godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2026-01-04 14:11:02 +03:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #10251 from tetrapod00/custom-role

Browse Source 
Add custom Sphinx roles for editor UI
This commit is contained in:
Matthew
2025-07-15 06:51:03 -04:00
committed by GitHub
parent 089d35e6d8 6792402014
commit 76cf579d9e
4 changed files with 162 additions and 24 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
conf.py
View File

@@ -231,6 +231,23 @@ linkcheck_anchors = False
linkcheck_timeout = 10
# -- Custom Sphinx roles for UI -------------------------------------------
rst_prolog = """
.. role:: button
:class: role-button role-ui
.. role:: menu
:class: role-menu role-ui
.. role:: inspector
:class: role-ui
.. role:: ui
:class: role-ui
"""
# -- I18n settings --------------------------------------------------------
# Godot localization is handled via https://github.com/godotengine/godot-docs-l10n