OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
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