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

IDEA-149395 Fix plugins table alignment to leave a space for scroll bar

Browse Source
This commit is contained in:
Sergey Malenkov
2016-01-26 21:57:26 +03:00
parent d23bab2ee4
commit aa35209ae0
1 changed files with 4 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ide/plugins/PluginsTableRenderer.java
+4 -1
View File
@@ -21,6 +21,7 @@ import com.intellij.openapi.application.ApplicationNamesInfo;
import com.intellij.openapi.extensions.PluginId;
import com.intellij.openapi.util.IconLoader;
import com.intellij.openapi.util.SystemInfo;
import com.intellij.openapi.util.registry.Registry;
import com.intellij.openapi.util.text.StringUtil;
import com.intellij.openapi.vcs.FileStatus;
import com.intellij.psi.codeStyle.NameUtil;
@@ -33,6 +34,7 @@ import com.intellij.ui.speedSearch.SpeedSearchUtil;
import com.intellij.util.Function;
import com.intellij.util.text.DateFormatUtil;
import com.intellij.util.text.Matcher;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import javax.swing.*;
@@ -89,7 +91,8 @@ public class PluginsTableRenderer extends DefaultTableCellRenderer {
myInfoPanel.remove(myBottomPanel);
}
myPanel.setBorder(UIUtil.isRetina() ? new EmptyBorder(4, 3, 4, 3) : new EmptyBorder(2, 3, 2, 3));
int right = !SystemInfo.isMac && Registry.is("ide.scroll.new.layout") ? JBUI.scale(10) : 3;
myPanel.setBorder(UIUtil.isRetina() ? new EmptyBorder(4, 3, 4, right) : new EmptyBorder(2, 3, 2, right));
}
private void createUIComponents() {