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

Better layout for 'greedy' file mask field (Attempt #2)

Browse Source
This commit is contained in:
Vassiliy.Kudryashov
2018-02-19 20:08:04 +03:00
parent 99d7177c73
commit e72a565320
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/lang-impl/src/com/intellij/find/impl/FindPopupPanel.java
+3 -3
View File
@@ -244,9 +244,9 @@ public class FindPopupPanel extends JBPanel implements FindUI {
Window window = ((AbstractPopup)myBalloon).getPopupWindow();
Dimension minimumSize = window != null ? window.getMinimumSize() : null;
myBalloon.setMinimumSize(prefSize);
//if (minimumSize != null && !Comparing.equal(minimumSize, prefSize)) {
// myBalloon.moveToFitScreen();
//}
if (minimumSize != null && prefSize.width > minimumSize.width) {
myBalloon.moveToFitScreen();
}
}
super.doLayout();
}