From c89100e5718d035698b5dc34a20a2950fd86acfb Mon Sep 17 00:00:00 2001 From: kobewi Date: Sun, 6 Nov 2022 20:53:20 +0100 Subject: Allow to disable History Dock via feature profile --- doc/classes/EditorFeatureProfile.xml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) (limited to 'doc') 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 @@ The Import dock. If this feature is disabled, the Import dock won't be visible. - + + The History dock. If this feature is disabled, the History dock won't be visible. + + Represents the size of the [enum Feature] enum. -- cgit v1.2.3