summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorkobewi <kobewi4e@gmail.com>2022-11-06 20:53:20 +0100
committerkobewi <kobewi4e@gmail.com>2022-11-07 13:06:59 +0100
commitc89100e5718d035698b5dc34a20a2950fd86acfb (patch)
treede785ee7d892bb895370ddf5035e52480ae5fbdc /doc
parentf814e15c7f60a685e8b3623fc93231c18ccd3627 (diff)
Allow to disable History Dock via feature profile
Diffstat (limited to 'doc')
-rw-r--r--doc/classes/EditorFeatureProfile.xml5
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>