00001 import org.eclipse.swt.widgets.Display as Display 00002 00003 def Exec(r): 00004 display = Display.getDefault() 00005 display.syncExec(r) 00006 return None