diff options
| author | Markus Keller | 2014-05-21 16:51:32 +0000 |
|---|---|---|
| committer | Paul Webster | 2014-05-21 16:51:32 +0000 |
| commit | 90dca6c756f0e87da13797447c658d87db56c1ad (patch) | |
| tree | ff96cbdcd461fbb0a55581de8c17f5a967247d25 | |
| parent | 49cc9059260947d6666a9afb77aef623b59fea76 (diff) | |
| download | eclipse.platform.ui-90dca6c756f0e87da13797447c658d87db56c1ad.tar.gz eclipse.platform.ui-90dca6c756f0e87da13797447c658d87db56c1ad.tar.xz eclipse.platform.ui-90dca6c756f0e87da13797447c658d87db56c1ad.zip | |
Bug 431966 - Relaunching with many editors opened, the caret disappears
when switching editors
| -rw-r--r-- | bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/WBWRenderer.java | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/WBWRenderer.java b/bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/WBWRenderer.java index 24e2d6cf6fd..be7e8bcd9e1 100644 --- a/bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/WBWRenderer.java +++ b/bundles/org.eclipse.e4.ui.workbench.renderers.swt/src/org/eclipse/e4/ui/workbench/renderers/swt/WBWRenderer.java @@ -55,6 +55,7 @@ import org.eclipse.e4.ui.workbench.modeling.IWindowCloseHandler; 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; @@ -905,6 +906,10 @@ public class WBWRenderer extends SWTPartRenderer { } 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); |
