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

  /frameworks/base/core/java/android/widget/
TabWidget.java 178 int extraWidth = getMeasuredWidth() - MeasureSpec.getSize(widthMeasureSpec);
179 if (extraWidth > 0) {
197 final int delta = extraWidth / childCount;
201 extraWidth -= childWidth - newWidth; // delta may have been clamped
  /external/chromium_org/third_party/WebKit/Source/platform/fonts/mac/
ComplexTextController.cpp 687 CGFloat extraWidth = widthSinceLastCommit - totalWidth;
689 advance.width += extraWidth;
692 m_adjustedAdvances[m_lastRoundingGlyph - 1].width += extraWidth;
694 m_finalRoundingWidth = extraWidth;
  /external/chromium_org/third_party/WebKit/Source/core/rendering/line/
BreakingContextInlineHeaders.h 473 LayoutUnit extraWidth = 0;
479 extraWidth += borderPaddingMarginStart(parentAsRenderInline);
481 extraWidth += borderPaddingMarginEnd(parentAsRenderInline);
483 return extraWidth;
488 return extraWidth;
    [all...]
  /external/chromium_org/third_party/WebKit/Source/devtools/front_end/
TabbedPane.js 557 var extraWidth = measuredWidths[i] - measuredWidths[i - 1];
558 totalExtraWidth += (measuredWidths.length - i) * extraWidth;
  /external/chromium/chrome/browser/resources/keyboard/
main.js 114 var extraWidth = margin + 2 * border;
116 this.modeElements_[mode].style.width = (width - extraWidth) + 'px';

Completed in 786 milliseconds