1
0
mirror of https://github.com/godotengine/godot.git synced 2025-11-29 16:16:38 +00:00

Merge pull request #81284 from YeldhamDev/this_one_was_in_the_backlog_for_a_while

Show doc tooltips when hovering properties in the theme editor
This commit is contained in:
Rémi Verschelde
2023-10-06 16:50:48 +02:00
4 changed files with 15 additions and 6 deletions

View File

@@ -32,7 +32,6 @@
#include "core/config/project_settings.h"
#include "core/templates/hash_set.h"
#include "editor/doc_tools.h"
#include "editor/editor_help.h"
#include "editor/editor_inspector.h"
#include "editor/editor_node.h"