39 |
public void startUpdateManager(Runnable r) { |
public void startUpdateManager(Runnable r) { |
40 |
JUpdateManager.startJUpdateManager(r); |
JUpdateManager.startJUpdateManager(r); |
41 |
} |
} |
42 |
public Window createWindow(Object repr) { |
public Window createWindow() { |
43 |
return new FrameScreen(this, repr); |
return new FrameScreen(this); |
44 |
} |
} |
45 |
public TextStyle getTextStyle(String family, int style, int size) { |
public TextStyle getTextStyle(String family, int style, int size) { |
46 |
return new RawTextStyle(new ScalableFont(family, style, size), null); |
return new RawTextStyle(new ScalableFont(family, style, size), null); |