Searched refs:borderPadding (Results 1 – 2 of 2) sorted by relevance
11 private final int borderPadding = 0; field in GroupBorder47 … new Insets(!title.equals("") ? borderPadding + titleHeight : borderPadding, borderPadding, border… in getBorderInsets()
112 if (typeof opt_opts.borderPadding === 'number') {113 padding = opt_opts.borderPadding;