public int maxwidth = Integer.MAX_VALUE;
public int minheight = 0;
public int maxheight = Integer.MAX_VALUE;
- public int minwidth() { return minwidth; }
- public int minheight() { return minheight; }
- public int maxwidth() { return maxwidth; }
- public int maxheight() { return maxheight; }
private short rows = 1;
private short cols = 0;
private short rowspan = 1;
class InnerFrame extends Frame {
public InnerFrame() throws java.lang.UnsupportedOperationException { }
- public Dimension getMinimumSize() { return new Dimension(root.minwidth(), root.minheight()); }
+ public Dimension getMinimumSize() { return new Dimension(root.minwidth, root.minheight); }
public void update(Graphics gr) {
Rectangle r = gr.getClipBounds();
super.update(gr);
class InnerWindow extends Window {
public InnerWindow() throws java.lang.UnsupportedOperationException { super(new Frame()); }
- public Dimension getMinimumSize() { return new Dimension(root.minwidth(), root.minheight()); }
+ public Dimension getMinimumSize() { return new Dimension(root.minwidth, root.minheight); }
public void update(Graphics gr) { paint(gr); }
public void paint(Graphics gr) {
g = null;