From a5697faa5d51df062068ad670eff5d41bf56bf92 Mon Sep 17 00:00:00 2001 From: Sergey Ignatov Date: Fri, 25 Mar 2016 00:07:02 +0300 Subject: [PATCH] one pixel divider for todo panel --- platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java b/platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java index bfcc182c247d..2c1eef8db44e 100644 --- a/platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java +++ b/platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java @@ -1,5 +1,5 @@ /* - * Copyright 2000-2015 JetBrains s.r.o. + * Copyright 2000-2016 JetBrains s.r.o. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file except in compliance with the License. @@ -150,7 +150,6 @@ abstract class TodoPanel extends SimpleToolWindowPanel implements OccurenceNavig myUsagePreviewPanel = new UsagePreviewPanel(myProject, FindInProjectUtil.setupViewPresentation(false, new FindModel())); - myUsagePreviewPanel.setBorder(IdeBorderFactory.createBorder(SideBorder.LEFT)); Disposer.register(this, myUsagePreviewPanel); myUsagePreviewPanel.setVisible(mySettings.showPreview); @@ -230,7 +229,7 @@ abstract class TodoPanel extends SimpleToolWindowPanel implements OccurenceNavig } protected JComponent createCenterComponent() { - final Splitter splitter = new Splitter(false); + Splitter splitter = new OnePixelSplitter(false); splitter.setSecondComponent(myUsagePreviewPanel); splitter.setFirstComponent(ScrollPaneFactory.createScrollPane(myTree)); return splitter;