4 public class FixedFrame extends Frame
10 Dimension d = Util.tk.getScreenSize();
11 double rx = Math.random(), ry = Math.random();
12 move((int)((d.width/2)*rx), (int)((d.height/2)*ry));
15 public FixedFrame(int w, int h)
21 public boolean handleEvent(Event evt)
23 if (evt.target == this && evt.id == Event.WINDOW_DESTROY) {
27 return super.handleEvent(evt);
30 public Dimension minimumSize()
32 if (mw != 0 && mh != 0) return new Dimension(mw, mh);
33 else return super.minimumSize();
36 public Dimension preferredSize()
41 public void setFixedSize(int w, int h)