MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

one pixel divider for todo panel

Browse Source
This commit is contained in:
Sergey Ignatov
2016-03-25 15:46:05 +03:00
parent 413c43eb5f
commit a5697faa5d
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ide/todo/TodoPanel.java
+2 -3
View File
@@ -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;