From df6e9c7b4c2dc42d928cdddfc3a5c293d5ebdccb Mon Sep 17 00:00:00 2001 From: graann Date: Mon, 29 Apr 2019 13:47:27 +0300 Subject: [PATCH] Implement new Editor Tabs UI: show new tabs by default GitOrigin-RevId: ea90588094673f3667418dfc1ade916301e9f238 --- platform/util/resources/misc/registry.properties | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 2c3aa9c584ab..73e59421b5d0 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1467,7 +1467,7 @@ ide.new.editor.tabs.selection.description=New way to select an editor tab ide.new.editor.tabs.selection.color=439EB8 ide.new.editor.tabs.selection.color.description=Color to highlight selected editor tab -ide.new.tabs=false +ide.new.tabs=true ide.new.tabs.description=Use new look of tabs ide.new.tabs.restartRequired=true