| /external/webkit/Source/WebCore/rendering/mathml/ |
| RenderMathMLRow.cpp | 57 if (box->offsetHeight() > maxHeight)
58 maxHeight = box->offsetHeight();
80 if (!block->hasBase() && !block->isRenderMathMLOperator() && block->offsetHeight() > maxHeight)
81 maxHeight = block->offsetHeight();
86 if (block->offsetHeight() > operatorHeight)
87 operatorHeight = block->offsetHeight();
93 if (box->offsetHeight() > maxHeight)
94 maxHeight = box->offsetHeight();
|
| RenderMathMLBlock.cpp | 63 return offsetHeight();
95 info.context->drawLine(IntPoint(tx + offsetWidth(), ty), IntPoint(tx + offsetWidth(), ty + offsetHeight()));
96 info.context->drawLine(IntPoint(tx, ty + offsetHeight()), IntPoint(tx + offsetWidth(), ty + offsetHeight()));
97 info.context->drawLine(IntPoint(tx, ty), IntPoint(tx, ty + offsetHeight()));
|
| RenderMathMLBlock.h | 59 return box->offsetHeight();
68 return box->offsetHeight();
|
| RenderMathMLSquareRoot.cpp | 88 if (box->offsetHeight() > maxHeight)
89 maxHeight = box->offsetHeight();
175 if (box->offsetHeight() > maxHeight)
176 maxHeight = box->offsetHeight();
|
| RenderMathMLSubSup.cpp | 164 int heightDiff = m_scripts ? (m_scripts->offsetHeight() - maxHeight) / 2 : 0;
179 return offsetHeight();
181 int baseline = offsetHeight();
191 int topAdjust = (m_scripts->offsetHeight() - box->offsetHeight()) / 2;
|
| RenderMathMLFraction.cpp | 151 verticalOffset = numerator->offsetHeight() + adjustForThickness;
153 verticalOffset = numerator->offsetHeight();
180 return numerator->offsetHeight() + shift;
|
| RenderMathMLRoot.cpp | 112 int maxHeight = indexBox->offsetHeight();
208 int maxHeight = toRenderBoxModelObject(lastChild())->offsetHeight();
241 int rootMarginTop = radicalHeight + style()->paddingBottom().value() + indexBox->offsetHeight() - (maxHeight + static_cast<int>(gRootPadding * style()->fontSize()));
|
| RenderMathMLUnderOver.cpp | 115 return box->offsetHeight();
|
| /packages/apps/Gallery2/jni/filters/ |
| geometry.c | 116 __inline__ void crop(char * source, int srcWidth, int srcHeight, char * destination, int dstWidth, int dstHeight, int offsetWidth, int offsetHeight){
120 if ((srcWidth > dstWidth + offsetWidth) || (srcHeight > dstHeight + offsetHeight)){
125 for (j = offsetHeight; j < offsetHeight + dstHeight; j++){
126 memcpy(destination + (j - offsetHeight) * new_row_width, source + j * row_width + offsetWidth * cpy_bytes, cpy_bytes * dstWidth );
154 void JNIFUNCF(ImageFilterGeometry, nativeApplyFilterCrop, jobject src, jint srcWidth, jint srcHeight, jobject dst, jint dstWidth, jint dstHeight, jint offsetWidth, jint offsetHeight) {
160 crop(source, srcWidth, srcHeight, destination, dstWidth, dstHeight, offsetWidth, offsetHeight);
|
| /external/webkit/Source/WebCore/inspector/front-end/ |
| Drawer.js | 79 var height = this._savedHeight || this.element.offsetHeight;
104 var height = (this.fullPanel ? window.innerHeight - this._toolbarElement.offsetHeight : this.savedHeight);
152 this._savedHeight = this.element.offsetHeight;
211 height = window.innerHeight - this._toolbarElement.offsetHeight;
223 this._savedHeight = this.element.offsetHeight;
224 var height = window.innerHeight - this._toolbarElement.offsetHeight;
349 this._savedHeight = this.element.offsetHeight;
|
| FontView.js | 100 var result = { width: this._dummyElement.offsetWidth, height: this._dummyElement.offsetHeight };
119 const containerHeight = this.element.offsetHeight - 30;
|
| Popover.js | 58 var preferredHeight = preferredHeight || this.contentElement.offsetHeight;
94 var anchorBox = {x: anchorElement.totalOffsetLeft, y: anchorElement.totalOffsetTop, width: anchorElement.offsetWidth, height: anchorElement.offsetHeight};
|
| ElementsTreeOutline.js | 417 var offsetHeight = properties[1];
420 if (offsetHeight === naturalHeight && offsetWidth === naturalWidth)
421 this.tooltip = WebInspector.UIString("%d \xd7 %d pixels", offsetWidth, offsetHeight);
423 this.tooltip = WebInspector.UIString("%d \xd7 %d pixels (Natural: %d \xd7 %d pixels)", offsetWidth, offsetHeight, naturalWidth, naturalHeight);
434 object.evaluate("return '[' + this.offsetWidth + ',' + this.offsetHeight + ',' + this.naturalWidth + ',' + this.naturalHeight + ']'", setTooltip.bind(this));
458 this.selectionElement.style.height = listItemElement.offsetHeight + "px";
[all...] |
| TextViewer.js | 604 total += firstElement.offsetHeight;
690 if (this.element.offsetHeight > clientHeight)
691 this._container.style.setProperty("padding-bottom", (this.element.offsetHeight - clientHeight) + "px");
[all...] |
| /external/chromium/chrome/browser/resources/ |
| print_preview_animations.js | 74 var offsetHeight = el.offsetHeight - el.scrollbarHeight;
77 var elevatorHeight = offsetHeight / scrollHeight * offsetHeight;
98 if (offsetHeight >= scrollHeight) {
105 var y = scrollTop / (scrollHeight - offsetHeight);
109 (y * (offsetHeight - elevatorHeight - 6)) + 'px';
152 insideEl.scrollbarHeight = insideEl.offsetHeight - insideEl.clientHeight;
214 var height = extraEl.offsetHeight;
|
| /external/webkit/Source/WebCore/rendering/ |
| RenderInline.h | 127 virtual int offsetHeight() const { return linesBoundingBox().height(); }
|
| RenderBoxModelObject.h | 57 virtual int offsetHeight() const = 0;
|
| RenderMediaControls.cpp | 189 int y = yOffset * zoomLevel + muteButtonBox->offsetHeight() - size.height();
|
| /packages/apps/Gallery2/src/com/android/gallery3d/filtershow/filters/ |
| ImageFilterGeometry.java | 61 Bitmap dst, int dstWidth, int dstHeight, int offsetWidth, int offsetHeight);
|
| /external/eclipse-windowbuilder/propertysheet/src/org/eclipse/wb/internal/core/model/property/table/ |
| HtmlTooltipHelper.java | 203 int offsetHeight = getBodyOffsetHeight(browser);
205 int delta = scrollHeight - offsetHeight;
238 "return document.getElementById('_wbp_tooltip_body').offsetHeight;");
248 return evaluateScriptInt(browser, "return document.body.offsetHeight;");
|
| /external/chromium/chrome/browser/resources/net_internals/ |
| view.js | 88 this.height_ = this.node_.offsetHeight;
|
| /external/webkit/Source/WebCore/dom/ |
| Element.idl | 74 readonly attribute long offsetHeight;
|
| Element.h | 156 int offsetHeight();
|
| /external/webkit/Source/WebKit/win/ |
| DOMCoreClasses.cpp | 1213 HRESULT STDMETHODCALLTYPE DOMElement::offsetHeight(
1219 *result = m_element->offsetHeight();
[all...] |
| /packages/apps/Gallery/src/com/android/camera/ |
| GalleryPicker.java | 646 int offsetHeight = 0;
718 padding, offsetWidth, offsetHeight, i);
|
