diff options
author | kobewi <kobewi4e@gmail.com> | 2022-11-06 20:53:20 +0100 |
---|---|---|
committer | kobewi <kobewi4e@gmail.com> | 2022-11-07 13:06:59 +0100 |
commit | c89100e5718d035698b5dc34a20a2950fd86acfb (patch) | |
tree | de785ee7d892bb895370ddf5035e52480ae5fbdc /doc | |
parent | f814e15c7f60a685e8b3623fc93231c18ccd3627 (diff) |
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> |