diff options
| author | Wojciech Sudol | 2015-01-16 12:48:56 +0000 |
|---|---|---|
| committer | Wojciech Sudol | 2015-01-16 12:48:56 +0000 |
| commit | 57cbb8ced551819266aa83570f5fde75fe19a8ea (patch) | |
| tree | e9ffebcfa657c9e9a968ed59fef61d9f2df618ff | |
| parent | 18eea4b56fd462c90c85ca617555a854f236d8fb (diff) | |
| download | eclipse.platform.ui-57cbb8ced551819266aa83570f5fde75fe19a8ea.tar.gz eclipse.platform.ui-57cbb8ced551819266aa83570f5fde75fe19a8ea.tar.xz eclipse.platform.ui-57cbb8ced551819266aa83570f5fde75fe19a8ea.zip | |
Bug 435421 - Active Part is incorrect and does not have focus on a restart
This reverts commit 90dca6c756f0e87da13797447c658d87db56c1ad.
| -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, 0 insertions, 5 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 51dce1d13bf..5582eb613d2 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,7 +55,6 @@ 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; @@ -901,10 +900,6 @@ 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); |
