public void setMinimumSize(int minx, int miny, boolean resizable) { if (frame != null) frame.setResizable(resizable); }
public void toBack() { if (window != null) window.toBack(); }
public void toFront() { if (window != null) window.toFront(); }
- public void setLocation() { window.setLocation(root.x, root.y); }
+ public void setLocation() { /*window.setLocation(root.x, root.y); FIXME */ }
public void setTitleBarText(String s) { if (frame != null) frame.setTitle(s); }
public void setIcon(Picture i) { if (frame != null) frame.setIconImage(((AWTPicture)i).i); }
public void _setSize(int width, int height) {
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;