mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
plugins: do not allow to narrow search field (IDEA-76870)
This commit is contained in:
@@ -129,6 +129,7 @@ public abstract class PluginManagerMain implements Disposable {
|
||||
};
|
||||
panel.add(component, BorderLayout.CENTER);
|
||||
myToolbarPanel.add(panel, BorderLayout.WEST);
|
||||
myFilter.setMinimumSize(new Dimension(150, -1));
|
||||
myToolbarPanel.add(myFilter, BorderLayout.CENTER);
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user