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

removed duplicate borders in bookmarks popup

Browse Source
This commit is contained in:
Evgeny Zakrevsky
2012-06-15 15:44:31 +04:00
parent 7ae5c857ee
commit b598c6d877
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/ui/popup/util/DetailViewImpl.java
+1 -1
View File
@@ -150,7 +150,7 @@ public class DetailViewImpl extends JPanel implements DetailView, UserDataHolder
validate();
getEditor().getScrollingModel().scrollToCaret(ScrollType.CENTER);
getEditor().setBorder(IdeBorderFactory.createBorder(SideBorder.BOTTOM));
getEditor().setBorder(IdeBorderFactory.createBorder(SideBorder.NONE));
clearHightlighting();
if (lineAttributes != null) {