Home
last modified time | relevance | path

Searched refs:GRAPH_MARGIN (Results 1 – 2 of 2) sorted by relevance

/external/v8/tools/turbolizer/
Dgraph-view.js875 var height = (graph.maxGraphY - graph.minGraphY + 2 * GRAPH_MARGIN) * scale;
876 var width = (graph.maxGraphX - graph.minGraphX + 2 * GRAPH_MARGIN) * scale;
881 var minY = (graph.minGraphY - GRAPH_MARGIN) * scale;
882 var maxY = (graph.maxGraphY + GRAPH_MARGIN) * scale;
904 var minX = (graph.minGraphX - GRAPH_MARGIN) * scale;
905 var maxX = (graph.maxGraphX + GRAPH_MARGIN) * scale;
965 var minScale = dimensions[0] / (width + GRAPH_MARGIN * 2);
966 var minScaleYCandidate = dimensions[1] / (height + GRAPH_MARGIN * 2);
Dconstants.js6 var GRAPH_MARGIN = 250; variable