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

use HiDPI aware borders

Browse Source
This commit is contained in:
Konstantin Bulenkov
2016-06-30 22:24:21 +02:00
parent 660c121782
commit a91fc130c8
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/actions/Switcher.java
+3 -3
View File
@@ -314,7 +314,7 @@ public class Switcher extends AnAction implements DumbAware {
}
};
descriptions.setBorder(BorderFactory.createEmptyBorder(1, 4, 1, 4));
descriptions.setBorder(JBUI.Borders.empty(1, 4));
descriptions.add(pathLabel, BorderLayout.CENTER);
twManager = ToolWindowManager.getInstance(project);
DefaultListModel twModel = new DefaultListModel();
@@ -341,7 +341,7 @@ public class Switcher extends AnAction implements DumbAware {
|| mySpeedSearch.getComparator().matchingFragments(mySpeedSearch.getEnteredPrefix(), s) != null, mySpeedSearch);
}
toolWindows.setBorder(IdeBorderFactory.createEmptyBorder(5, 5, 5, 20));
toolWindows.setBorder(JBUI.Borders.empty(5, 5, 5, 20));
toolWindows.setSelectionMode(pinned ? ListSelectionModel.MULTIPLE_INTERVAL_SELECTION : ListSelectionModel.SINGLE_SELECTION);
toolWindows.setCellRenderer(new SwitcherToolWindowsListRenderer(mySpeedSearch, map, myPinned) {
@NotNull
@@ -548,7 +548,7 @@ public class Switcher extends AnAction implements DumbAware {
files.getSelectionModel().addListSelectionListener(filesSelectionListener);
files.setCellRenderer(filesRenderer);
files.setBorder(IdeBorderFactory.createEmptyBorder(5, 5, 5, 5));
files.setBorder(JBUI.Borders.empty(5));
files.addKeyListener(this);
ScrollingUtil.installActions(files);
files.addMouseListener(this);