Community
Participate
Working Groups
import org.eclipse.emf.ecore.EClass;
import org.eclipse.emf.ecore.EObject;
import org.eclipse.jface.dialogs.Dialog;
import org.eclipse.jface.util.Util;
import org.eclipse.jface.viewers.ArrayContentProvider;
import org.eclipse.jface.viewers.CheckboxTableViewer;
import org.eclipse.jface.viewers.LabelProvider;
}
private void forceLayout(Shell shell) {
if (Util.isMac())
return; // Bug 431966: Relaunching with many editors opened, the
// caret disappears when switching editors.
int i = 0;
while(shell.isLayoutDeferred()) {
shell.setLayoutDeferred(false);