getFontDimensions();
// Setup double-buffering
- if (screen.doubleBuffer) {
+ if (SwingScreen.doubleBuffer) {
setIgnoreRepaint(true);
createBufferStrategy(2);
bufferStrategy = getBufferStrategy();
if (reallyCleared) {
// Really refreshed, do it all
- if (doubleBuffer) {
+ if (SwingScreen.doubleBuffer) {
Graphics gr = frame.bufferStrategy.getDrawGraphics();
frame.paint(gr);
gr.dispose();
// Repaint the desired area
// System.err.printf("REPAINT X %d %d Y %d %d\n", xMin, xMax,
// yMin, yMax);
- if (doubleBuffer) {
+ if (SwingScreen.doubleBuffer) {
Graphics gr = frame.bufferStrategy.getDrawGraphics();
Rectangle bounds = new Rectangle(xMin, yMin, xMax - xMin,
yMax - yMin);