Community
Participate
Working Groups
if (defSize.y == size.y) {
// One line - pick the smaller of the two widths
size.x = Math.min(defSize.x, size.x);
if (thmargin > 0 && SWT.getPlatform() == "gtk") { //$NON-NLS-1$
size.x = size.x + 1;
}
if (toggle != null) {