diff options
Diffstat (limited to 'bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java')
-rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java | 58 |
1 files changed, 29 insertions, 29 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java index 444694dc819..1577de4ec42 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/layout/LayoutUtil.java @@ -27,33 +27,33 @@ import org.eclipse.swt.widgets.Shell; */ public class LayoutUtil { - /** - * Should be called whenever a control's contents have changed. Will - * trigger a layout parent controls if necessary. - * - * @param changedControl - */ - public static void resize(Control changedControl) { - Composite parent = changedControl.getParent(); - - Layout parentLayout = parent.getLayout(); - - if (parentLayout instanceof ICachingLayout) { - ((ICachingLayout) parentLayout).flush(changedControl); - } - - if (parent instanceof Shell) { - parent.layout(true); - } else { - Rectangle currentBounds = parent.getBounds(); - - resize(parent); - - // If the parent was resized, then it has already triggered a - // layout. Otherwise, we need to manually force it to layout again. - if (currentBounds.equals(parent.getBounds())) { - parent.layout(true); - } - } - } + /** + * Should be called whenever a control's contents have changed. Will trigger a + * layout parent controls if necessary. + * + * @param changedControl + */ + public static void resize(Control changedControl) { + Composite parent = changedControl.getParent(); + + Layout parentLayout = parent.getLayout(); + + if (parentLayout instanceof ICachingLayout) { + ((ICachingLayout) parentLayout).flush(changedControl); + } + + if (parent instanceof Shell) { + parent.layout(true); + } else { + Rectangle currentBounds = parent.getBounds(); + + resize(parent); + + // If the parent was resized, then it has already triggered a + // layout. Otherwise, we need to manually force it to layout again. + if (currentBounds.equals(parent.getBounds())) { + parent.layout(true); + } + } + } } |