diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2016-10-09 14:06:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2016-10-09 14:06:59 +0200 |
| commit | fb856e532e4c7a4fb7a61c1e9431bc664a77dbfc (patch) | |
| tree | 83f89729b1d1b54de13c1443c9e82fb164fa6202 /tools/editor/editor_node.h | |
| parent | c16c621c97f6abd443a751dfb493104575770011 (diff) | |
| parent | 4527fbcfa11c8e5fe618ce862d641c63b0204301 (diff) | |
Merge pull request #6673 from J08nY/issue-update-spinner
Fix #6653, add an option to stop the update spinner from spinning
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 0393cd19a9..6392b96f8f 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, |