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

  /external/webkit/Source/WebCore/inspector/front-end/
Popover.js 85 const arrowHeight = 15;
111 if (anchorBox.y > newElementPosition.height + arrowHeight + borderRadius)
112 newElementPosition.y = anchorBox.y - newElementPosition.height - arrowHeight;
115 newElementPosition.height = anchorBox.y - borderRadius * 2 - arrowHeight;
120 newElementPosition.y = anchorBox.y + anchorBox.height + arrowHeight;
121 if (newElementPosition.y + newElementPosition.height + arrowHeight - borderWidth >= totalHeight)
122 newElementPosition.height = totalHeight - anchorBox.y - anchorBox.height - borderRadius * 2 - arrowHeight;
  /sdk/eclipse/plugins/com.android.ide.eclipse.adt/src/com/android/ide/eclipse/adt/internal/editors/layout/gle2/
GCWrapper.java 533 int arrowHeight = size;
572 graphics.drawLine(x2 - arrowWidth, y2 - arrowHeight, x2, y2);
573 graphics.drawLine(x2 + arrowWidth, y2 - arrowHeight, x2, y2);
575 graphics.drawLine(x2 - arrowWidth, y2 + arrowHeight, x2, y2);
576 graphics.drawLine(x2 + arrowWidth, y2 + arrowHeight, x2, y2);
581 graphics.drawLine(x2 - arrowHeight, y2 - arrowWidth, x2, y2);
582 graphics.drawLine(x2 - arrowHeight, y2 + arrowWidth, x2, y2);
584 graphics.drawLine(x2 + arrowHeight, y2 - arrowWidth, x2, y2);
585 graphics.drawLine(x2 + arrowHeight, y2 + arrowWidth, x2, y2);
595 // Its two arrow lines are at (-arrowWidth, -arrowHeight) relativ
    [all...]
  /external/webkit/Source/WebCore/rendering/
RenderThemeSafari.cpp 819 float arrowHeight = baseArrowHeight * fontScale;
832 arrow[0] = FloatPoint(leftEdge, centerY - arrowHeight / 2.0f);
833 arrow[1] = FloatPoint(leftEdge + arrowWidth, centerY - arrowHeight / 2.0f);
834 arrow[2] = FloatPoint(leftEdge + arrowWidth / 2.0f, centerY + arrowHeight / 2.0f);
    [all...]
RenderThemeMac.mm     [all...]

Completed in 7342 milliseconds