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