mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Default size for settings and run configuration dialogs.
This commit is contained in:
@@ -42,7 +42,9 @@ import javax.swing.tree.DefaultTreeModel;
|
||||
import javax.swing.tree.TreeNode;
|
||||
import javax.swing.tree.TreePath;
|
||||
import java.awt.*;
|
||||
import java.awt.event.*;
|
||||
import java.awt.event.ActionEvent;
|
||||
import java.awt.event.ActionListener;
|
||||
import java.awt.event.KeyEvent;
|
||||
import java.net.URL;
|
||||
import java.util.*;
|
||||
|
||||
@@ -371,6 +373,12 @@ class RunConfigurable extends BaseConfigurable {
|
||||
myWholePanel.add(myPanel, BorderLayout.CENTER);
|
||||
|
||||
updateDialog();
|
||||
|
||||
Dimension d = myWholePanel.getPreferredSize();
|
||||
d.width = Math.max(d.width, 800);
|
||||
d.height = Math.max(d.height, 600);
|
||||
myWholePanel.setPreferredSize(d);
|
||||
|
||||
return myWholePanel;
|
||||
}
|
||||
|
||||
|
||||
@@ -665,6 +665,10 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat
|
||||
return myTree.getTree();
|
||||
}
|
||||
|
||||
@Override
|
||||
public Dimension getPreferredSize() {
|
||||
return new Dimension(1200, 768);
|
||||
}
|
||||
|
||||
private class Filter extends ElementFilter.Active.Impl<SimpleNode> {
|
||||
|
||||
|
||||
Reference in New Issue
Block a user