diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 2ff7e33aafcf..bcfbbf103bf2 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -158,6 +158,8 @@ ide.editor.tabs.show.fadeout=true ide.editor.tabs.show.fadeout.description=Show fadeout overlay to decorate partially hidden (scrolled aside) tabs ide.editor.tabs.fadeout.width=10 ide.editor.tabs.fadeout.width.description=Size of semi-transparent fadeout area +ide.editor.tabs.visible.in.presentation.mode=false +ide.editor.tabs.visible.in.presentation.mode.description=Keep editor tabs visible even if Presentation mode is ON ide.hide.excluded.files=false ide.hide.excluded.files.restartRequired=true