X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.document.swt.core%2Fsrc%2Forg%2Fsimantics%2Fdocument%2Fswt%2Fcore%2Fbase%2FScrolledCompositeContent.java;h=6dd2047f7dc736d365e35fa2ff24e55b1910a44b;hb=e4ffdffae875e518a4eb070b8bda6ead1a9843d3;hp=28f6b408a068426d9d45fb099aa661f761693460;hpb=969bd23cab98a79ca9101af33334000879fb60c5;p=simantics%2Fplatform.git diff --git a/bundles/org.simantics.document.swt.core/src/org/simantics/document/swt/core/base/ScrolledCompositeContent.java b/bundles/org.simantics.document.swt.core/src/org/simantics/document/swt/core/base/ScrolledCompositeContent.java index 28f6b408a..6dd2047f7 100644 --- a/bundles/org.simantics.document.swt.core/src/org/simantics/document/swt/core/base/ScrolledCompositeContent.java +++ b/bundles/org.simantics.document.swt.core/src/org/simantics/document/swt/core/base/ScrolledCompositeContent.java @@ -1,41 +1,41 @@ -package org.simantics.document.swt.core.base; - -import org.eclipse.swt.SWT; -import org.eclipse.swt.custom.ScrolledComposite; -import org.eclipse.swt.graphics.Point; -import org.eclipse.swt.widgets.Composite; -import org.eclipse.swt.widgets.ScrollBar; -import org.simantics.utils.ui.SWTUtils; - -public class ScrolledCompositeContent extends Composite implements Runnable { - - public ScrolledCompositeContent(Composite parent, int style) { - super(parent, style); - } - - public void refreshSize() { - SWTUtils.asyncExec(this, this); - } - - public void run() { - - if(isDisposed()) return; - - ScrolledComposite sc = (ScrolledComposite)getParent(); - int scWidth = sc.getSize().x; - - ScrollBar bar = sc.getVerticalBar(); - if(bar != null && bar.isVisible()) - scWidth -= bar.getSize().x; - - Point current = getSize(); - Point target = computeSize(scWidth, SWT.DEFAULT, true); - - if(!current.equals(target)) { - setSize(target); - sc.getParent().layout(true, true); - } - - } - -} +package org.simantics.document.swt.core.base; + +import org.eclipse.swt.SWT; +import org.eclipse.swt.custom.ScrolledComposite; +import org.eclipse.swt.graphics.Point; +import org.eclipse.swt.widgets.Composite; +import org.eclipse.swt.widgets.ScrollBar; +import org.simantics.utils.ui.SWTUtils; + +public class ScrolledCompositeContent extends Composite implements Runnable { + + public ScrolledCompositeContent(Composite parent, int style) { + super(parent, style); + } + + public void refreshSize() { + SWTUtils.asyncExec(this, this); + } + + public void run() { + + if(isDisposed()) return; + + ScrolledComposite sc = (ScrolledComposite)getParent(); + int scWidth = sc.getSize().x; + + ScrollBar bar = sc.getVerticalBar(); + if(bar != null && bar.isVisible()) + scWidth -= bar.getSize().x; + + Point current = getSize(); + Point target = computeSize(scWidth, SWT.DEFAULT, true); + + if(!current.equals(target)) { + setSize(target); + sc.getParent().layout(true, true); + } + + } + +}