From 60e21e73d37deb69383f1be37899d77d75df9fdd Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Sun, 12 Feb 2017 20:50:32 +0100 Subject: [PATCH] rollback new editor tabs selection --- 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 cb05c5a4ee34..717fb4050d16 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -1000,7 +1000,7 @@ WebStorm.JavaScript.Modules.Diagram.description=Turns on module dependency diagr editable.java.test.console=false editable.java.test.console.description=Enables System.in in java test consoles (junit & testng) swift.create.type.from.usage.enabled=false -ide.new.editor.tabs.selection=true +ide.new.editor.tabs.selection=false 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