Home
last modified time | relevance | path

Searched refs:rightMinHeight (Results 1 – 5 of 5) sorted by relevance

/dports/audio/atunes/atunes-3.1.2/src/net/sourceforge/atunes/gui/frame/
H A DCommonSingleFrame.java203 int rightMinHeight = (int) splitPane.getRightComponent() in applyVerticalSplitPaneDividerPosition() local
205 if (rightMinHeight > rightHeight) { in applyVerticalSplitPaneDividerPosition()
207 - (rightMinHeight - rightHeight + getControlsBuilder() in applyVerticalSplitPaneDividerPosition()
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/bundles/org.eclipse.swt/Eclipse SWT Custom Widgets/common/org/eclipse/swt/custom/
H A DCBannerLayout.java77 …height += Math.max(leftSize.y, banner.rightMinHeight == SWT.DEFAULT ? rightSize.y : banner.rightMi… in computeSize()
172 …rightSize.y = Math.max(leftSize.y, banner.rightMinHeight == SWT.DEFAULT ? rightSize.y : banner.rig… in layout()
H A DCBanner.java64 int rightMinHeight = 0; field in CBanner
231 return new Point(rightMinWidth, rightMinHeight); in getRightMinimumSize()
286 Point minSize = right.computeSize(rightMinWidth, rightMinHeight); in onMouseMove()
499 rightMinHeight = size.y; in setRightMinimumSize()
/dports/x11-toolkits/swt/swt-4.20/org/eclipse/swt/custom/
H A DCBannerLayout.java77 …height += Math.max(leftSize.y, banner.rightMinHeight == SWT.DEFAULT ? rightSize.y : banner.rightMi… in computeSize()
172 …rightSize.y = Math.max(leftSize.y, banner.rightMinHeight == SWT.DEFAULT ? rightSize.y : banner.rig… in layout()
H A DCBanner.java64 int rightMinHeight = 0; field in CBanner
231 return new Point(rightMinWidth, rightMinHeight); in getRightMinimumSize()
286 Point minSize = right.computeSize(rightMinWidth, rightMinHeight); in onMouseMove()
499 rightMinHeight = size.y; in setRightMinimumSize()