public void forceRedraw ( ) { UpdateManager um = ctx.getUpdateManager(); if (um != null) um.forceRepaint(); }
public void forceRedraw ( ) { UpdateManager um = ctx.getUpdateManager(); if (um != null) um.forceRepaint(); }
public void run() { UpdateManager um = getUpdateManager(); if (um != null) um.forceRepaint(); synchronized(renderMonitor) { done = true; failed = false; renderMonitor.notifyAll(); } } };
public void run() { UpdateManager um = getUpdateManager(); if (um != null) um.forceRepaint(); synchronized(renderMonitor) { done = true; failed = false; renderMonitor.notifyAll(); } } };
public void forceRedraw ( ) { UpdateManager um = ctx.getUpdateManager(); if (um != null) um.forceRepaint(); }