package org.erlide.ui.util;
import org.eclipse.swt.widgets.Display;
import org.eclipse.ui.PlatformUI;
public final class DisplayUtils {
public static void asyncExec(final Runnable runnable) {
final Display display = PlatformUI.getWorkbench().getDisplay();
if (display != null && !display.isDisposed()) {
display.asyncExec(runnable);
}
}
public static void syncExec(final Runnable runnable) {
if (Display.getCurrent() == null) {
final Display display = PlatformUI.getWorkbench().getDisplay();
if (display != null && !display.isDisposed()) {
display.syncExec(runnable);
}
} else {
runnable.run();
}
}
private DisplayUtils() {
}
}