diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-07 13:41:29 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-11-07 13:41:29 +0100 |
| commit | 518b4bcc0d688dcbc6c9766cacd85fd3a461bcd6 (patch) | |
| tree | 241ad991b4531eb1c50776900fff91c7a323bb6a /doc | |
| parent | a1bc636098c91ed47a8d9a23e07a4c85b64c1884 (diff) | |
| parent | c89100e5718d035698b5dc34a20a2950fd86acfb (diff) | |
Merge pull request #68342 from KoBeWi/Godot_museum't
Allow to disable History Dock via feature profile
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/classes/EditorFeatureProfile.xml | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/doc/classes/EditorFeatureProfile.xml b/doc/classes/EditorFeatureProfile.xml index 99e97fc25f..27f61f1bd8 100644 --- a/doc/classes/EditorFeatureProfile.xml +++ b/doc/classes/EditorFeatureProfile.xml @@ -116,7 +116,10 @@ <constant name="FEATURE_IMPORT_DOCK" value="6" enum="Feature"> The Import dock. If this feature is disabled, the Import dock won't be visible. </constant> - <constant name="FEATURE_MAX" value="7" enum="Feature"> + <constant name="FEATURE_HISTORY_DOCK" value="7" enum="Feature"> + The History dock. If this feature is disabled, the History dock won't be visible. + </constant> + <constant name="FEATURE_MAX" value="8" enum="Feature"> Represents the size of the [enum Feature] enum. </constant> </constants> |