46 |
public Window createWindow() { |
public Window createWindow() { |
47 |
return new FrameScreen(this); |
return new FrameScreen(this); |
48 |
} |
} |
49 |
public Window createStableOffscreen() { |
public RenderingSurface createStableOffscreen(int w, int h) { |
50 |
// XXX |
// XXX |
51 |
return new FrameScreen(this); |
FrameScreen fs = new FrameScreen(this); |
52 |
|
fs.setLocation(0, 0, w, h); |
53 |
|
return fs; |
54 |
} |
} |
55 |
public TextStyle getTextStyle(String family, int style, int size) { |
public TextStyle getTextStyle(String family, int style, int size) { |
56 |
return new RawTextStyle(new ScalableFont(family, style, size), null); |
return new RawTextStyle(new ScalableFont(family, style, size), null); |