HomeSort by relevance Sort by last modified time
    Searched refs:borderPadding (Results 1 - 2 of 2) sorted by null

  /external/universal-tween-engine/java/applets/src/aurelienribon/utils/swing/
GroupBorder.java 11 private final int borderPadding = 0;
47 return new Insets(!title.equals("") ? borderPadding + titleHeight : borderPadding, borderPadding, borderPadding, borderPadding);
  /external/chromium-trace/catapult/third_party/py_vulcanize/third_party/rjsmin/bench/
markermanager.js 48 * @property {Number} borderPadding Specifies, in pixels, the extra padding
69 * {Number} borderPadding The width in pixels beyond the map border,
112 if (typeof opt_opts.borderPadding === 'number') {
113 padding = opt_opts.borderPadding;

Completed in 1172 milliseconds