godotengine/godot-docs
1
0
Fork 0
mirror of https://github.com/godotengine/godot-docs.git synced 2025-12-31 17:49:03 +03:00
Code Issues Packages Projects Releases Wiki Activity

Pin additional build requirements to avoid syntax highlighting issues

Browse Source
This commit is contained in:
Yuri Sizov
2023-01-14 18:49:07 +03:00
parent 93b6e0977b
commit 64a60696bf
2 changed files with 11 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
requirements.txt
View File

@@ -1,16 +1,19 @@
# Base dependencies
# Sync with readthedocs:
# https://github.com/readthedocs/readthedocs.org/blob/master/requirements/pip.txt
# https://github.com/readthedocs/readthedocs.org/blob/master/requirements/docs.txt
# Base dependencies
pygments==2.14.0
# Sphinx base and RTD theme.
sphinx==4.4.0
sphinx_rtd_theme==1.1.1
# Code tabs extension for GDScript/C#
# Sphinx extensions.
# Code tabs extension to display codeblocks in different languages as tabs.
sphinx-tabs==3.4.0
# Custom 404 error page (more useful than the default)
# Custom 404 error page (more useful than the default).
sphinx-notfound-page==0.8.3
# Adds Open Graph tags in the HTML `<head>` tag
# Adds Open Graph tags in the HTML `<head>` tag.
sphinxext-opengraph==0.7.5

2
tutorials/plugins/editor/inspector_plugins.rst
View File

@@ -243,7 +243,7 @@ followed by ``set_bottom_editor()`` to position it below the name.
func refresh_control_text():
property_control.text = "Value: " + str(current_value)
.. code-tab:: none C#
.. code-tab:: csharp
// RandomIntEditor.cs
#if TOOLS