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

add additional space for possible scroll bar

Browse Source
This commit is contained in:
Sergey Malenkov
2016-04-11 20:43:33 +03:00
parent c7fa059990
commit 3e5e7d8a3e
1 changed files with 6 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/ui/popup/list/ListPopupImpl.java
+6 -2
View File
@@ -32,6 +32,7 @@ import com.intellij.ui.SeparatorWithText;
import com.intellij.ui.awt.RelativePoint;
import com.intellij.ui.popup.ClosableByLeftArrow;
import com.intellij.ui.popup.WizardPopup;
import com.intellij.util.ui.JBUI;
import com.intellij.util.ui.UIUtil;
import org.jetbrains.annotations.NotNull;
import org.jetbrains.annotations.Nullable;
@@ -525,13 +526,16 @@ public class ListPopupImpl extends WizardPopup implements ListPopup {
@Override
public Dimension getPreferredScrollableViewportSize() {
Dimension result = super.getPreferredScrollableViewportSize();
result.width += JBUI.scale(14); // support possible scroll bar
int rowCount = getVisibleRowCount();
int size = getModel().getSize();
if (rowCount < size) {
// Note: labeled separators are not counted in this branch
return super.getPreferredScrollableViewportSize();
return result;
}
return new Dimension(super.getPreferredScrollableViewportSize().width, getPreferredSize().height);
result.height = getPreferredSize().height;
return result;
}
@Override