1
0
mirror of https://github.com/godotengine/godot.git synced 2025-12-06 17:25:19 +00:00
Files
godot/editor/editor_themes.cpp
Rémi Verschelde 12f2c753fe Merge pull request #75923 from dalexeev/editor-rtl-selection-color
Editor Theme: Set `selection_color` property of `RichTextLabel`
2023-04-11 19:40:59 +02:00

117 KiB