godotengine/godot
1
0
Fork 0
mirror of https://github.com/godotengine/godot.git synced 2025-11-06 12:20:30 +00:00
Code Releases Wiki Activity

Merge pull request #57641 from Geometror/compilation-time-improvements-1

Browse Source
This commit is contained in:
Rémi Verschelde
2022-02-12 09:46:02 +01:00
committed by GitHub
parent d05f0f15f3 b396fd4eef
commit 7a7fabe4f6
308 changed files with 664 additions and 350 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
editor/plugins/theme_editor_plugin.cpp
View File

@@ -31,6 +31,8 @@
#include "theme_editor_plugin.h"
#include "core/os/keyboard.h"
#include "editor/editor_file_dialog.h"
#include "editor/editor_node.h"
#include "editor/editor_resource_picker.h"
#include "editor/editor_scale.h"
#include "editor/progress_dialog.h"