mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
IDEA-88967 Split window doesn't allow resize
This commit is contained in:
@@ -355,6 +355,7 @@ public class ChangesViewManager implements ChangesViewI, JDOMExternalizable, Pro
|
||||
if (myProgressLabel != null) {
|
||||
myProgressLabel.removeAll();
|
||||
myProgressLabel.add(progress.create());
|
||||
myProgressLabel.setMinimumSize(new Dimension(0, 0));
|
||||
}
|
||||
}
|
||||
});
|
||||
|
||||
Reference in New Issue
Block a user