From 34b357caf08d2aeeec433bffd69267e74243c858 Mon Sep 17 00:00:00 2001 From: peter Date: Sun, 10 Nov 2013 21:56:40 +0100 Subject: [PATCH] more console folding by default --- plugins/devkit/resources/META-INF/plugin.xml | 3 +++ resources/src/META-INF/IdeaPlugin.xml | 12 ++++-------- 2 files changed, 7 insertions(+), 8 deletions(-) diff --git a/plugins/devkit/resources/META-INF/plugin.xml b/plugins/devkit/resources/META-INF/plugin.xml index e0a0ae70f4de..5a2b0f0ec244 100644 --- a/plugins/devkit/resources/META-INF/plugin.xml +++ b/plugins/devkit/resources/META-INF/plugin.xml @@ -96,6 +96,9 @@ + + + diff --git a/resources/src/META-INF/IdeaPlugin.xml b/resources/src/META-INF/IdeaPlugin.xml index 57ae4c1beca4..ca66e772922e 100644 --- a/resources/src/META-INF/IdeaPlugin.xml +++ b/resources/src/META-INF/IdeaPlugin.xml @@ -983,16 +983,14 @@ - - - + - + + - @@ -1004,12 +1002,10 @@ - - - +