From 334f995903357900bda2e50c207caa6a62eb313e Mon Sep 17 00:00:00 2001 From: Roman Shevchenko Date: Wed, 10 Oct 2012 13:13:50 +0200 Subject: [PATCH] Extra border dropped --- .../options/editor/EditorOptionsPanel.form | 16 ++++------------ .../src/messages/ApplicationBundle.properties | 1 + 2 files changed, 5 insertions(+), 12 deletions(-) diff --git a/platform/lang-impl/src/com/intellij/application/options/editor/EditorOptionsPanel.form b/platform/lang-impl/src/com/intellij/application/options/editor/EditorOptionsPanel.form index aab91296ed1b..2e65d3a81e99 100644 --- a/platform/lang-impl/src/com/intellij/application/options/editor/EditorOptionsPanel.form +++ b/platform/lang-impl/src/com/intellij/application/options/editor/EditorOptionsPanel.form @@ -390,7 +390,7 @@ - + @@ -401,14 +401,6 @@ - - - - - - - - @@ -417,12 +409,12 @@ - + - + - + diff --git a/platform/platform-resources-en/src/messages/ApplicationBundle.properties b/platform/platform-resources-en/src/messages/ApplicationBundle.properties index fddc68f6453a..044966a4cbfe 100644 --- a/platform/platform-resources-en/src/messages/ApplicationBundle.properties +++ b/platform/platform-resources-en/src/messages/ApplicationBundle.properties @@ -88,6 +88,7 @@ title.dont.wrap.if.inline.content=Dont Wrap If Inline Content Only checkbox.wrap.text=Wrap text checkbox.parentheses.around.method.arguments=Add parentheses around method arguments checkbox.rename.local.variables.inplace=Enable in-place mode +checkbox.rename.local.variables.preselect=Preselect old name editbox.keep.blank.lines=Keep blank lines: checkbox.keep.white.spaces=Keep white spaces checkbox.align.text=Align text