diff options
| author | J08nY | 2016-10-01 16:15:07 +0200 |
|---|---|---|
| committer | J08nY | 2016-10-08 22:36:54 +0200 |
| commit | 4527fbcfa11c8e5fe618ce862d641c63b0204301 (patch) | |
| tree | df72e7d479d2e1ce5225e1b5c4a2fbf1e50b0aa3 /tools/editor/editor_node.h | |
| parent | 6b283ae2931475cfda8f5f24307ca01998b6e813 (diff) | |
| download | godot-4527fbcfa11c8e5fe618ce862d641c63b0204301.tar.gz godot-4527fbcfa11c8e5fe618ce862d641c63b0204301.tar.zst godot-4527fbcfa11c8e5fe618ce862d641c63b0204301.zip | |
editor_node: add an option to stop the update spinner from spinning, fixes #6653
Diffstat (limited to 'tools/editor/editor_node.h')
| -rw-r--r-- | tools/editor/editor_node.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/editor/editor_node.h b/tools/editor/editor_node.h index 2fae5dace..c1c588509 100644 --- a/tools/editor/editor_node.h +++ b/tools/editor/editor_node.h @@ -179,6 +179,7 @@ private: RUN_RELOAD_SCRIPTS, SETTINGS_UPDATE_ALWAYS, SETTINGS_UPDATE_CHANGES, + SETTINGS_UPDATE_SPINNER_HIDE, SETTINGS_EXPORT_PREFERENCES, SETTINGS_PREFERENCES, SETTINGS_OPTIMIZED_PRESETS, |