40 |
|
|
41 |
import java.awt.Image; |
import java.awt.Image; |
42 |
import java.awt.MenuBar; |
import java.awt.MenuBar; |
43 |
|
import java.awt.Rectangle; |
44 |
|
|
45 |
public interface FramePeer extends WindowPeer |
public interface FramePeer extends WindowPeer |
46 |
{ |
{ |
47 |
|
public void setIconImage(Image image); |
48 |
public abstract void setIconImage(Image image); |
public void setMenuBar(MenuBar mb); |
49 |
public abstract void setMenuBar(MenuBar mb); |
public void setResizable(boolean resizable); |
50 |
public abstract void setResizable(boolean resizable); |
public void setTitle(String title); |
51 |
public abstract void setTitle(String title); |
public int getState(); |
52 |
|
public void setState(int state); |
53 |
|
public void setMaximizedBounds(Rectangle r); |
54 |
} // interface FramePeer |
} // interface FramePeer |
55 |
|
|