From a1db9f789c7ebb9a2511fbbd90ebd7143b2490a7 Mon Sep 17 00:00:00 2001 From: Konstantin Bulenkov Date: Tue, 9 Jan 2018 22:27:34 +0100 Subject: [PATCH] simplify --- .../intellij/openapi/fileEditor/TextEditorWithPreview.java | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/fileEditor/TextEditorWithPreview.java b/platform/platform-impl/src/com/intellij/openapi/fileEditor/TextEditorWithPreview.java index e2fb33dee792..7255bc52f87a 100644 --- a/platform/platform-impl/src/com/intellij/openapi/fileEditor/TextEditorWithPreview.java +++ b/platform/platform-impl/src/com/intellij/openapi/fileEditor/TextEditorWithPreview.java @@ -16,6 +16,7 @@ import com.intellij.openapi.util.Pair; import com.intellij.openapi.util.UserDataHolderBase; import com.intellij.openapi.wm.IdeFocusManager; import com.intellij.ui.JBSplitter; +import com.intellij.util.ui.JBUI; import org.jetbrains.annotations.NotNull; import org.jetbrains.annotations.Nullable; @@ -106,17 +107,13 @@ public class TextEditorWithPreview extends UserDataHolderBase implements FileEdi myToolbarWrapper.addGutterToTrack(((EditorGutterComponentEx)((TextEditor)myPreview).getEditor().getGutter())); } - final JPanel result = new JPanel(new BorderLayout()); - result.add(myToolbarWrapper, BorderLayout.NORTH); - result.add(splitter, BorderLayout.CENTER); if (myLayout == null) { String lastUsed = PropertiesComponent.getInstance().getValue(getLayoutPropertyName()); myLayout = Layout.fromName(lastUsed, Layout.SHOW_EDITOR_AND_PREVIEW); } adjustEditorsVisibility(); - myComponent = result; - + myComponent = JBUI.Panels.simplePanel(splitter).addToTop(myToolbarWrapper); } return myComponent; }