Searched refs:selectionDifference (Results 1 – 4 of 4) sorted by relevance
| /external/v8/tools/turbolizer/ |
| D | selection.js | 61 var pos_diff = handler.selectionDifference(pos, true, this.lastSelection, false);
64 pos_diff = handler.selectionDifference(this.selectionBase, false, pos, true);
66 … unselect_diff = handler.selectionDifference(this.lastSelection, true, this.selectionBase, false);
73 unselect_diff = handler.selectionDifference(this.lastSelection, true, pos, false);
79 … unselect_diff = handler.selectionDifference(this.selectionBase, false, this.lastSelection, true);
81 pos_diff = handler.selectionDifference(pos, true, this.selectionBase, false);
83 unselect_diff = handler.selectionDifference(pos, false, this.lastSelection, true);
|
| D | code-view.js | 35 selectionDifference: function(span1, inclusive1, span2, inclusive2) { method
|
| D | text-view.js | 32 selectionDifference: function(span1, inclusive1, span2, inclusive2) { method
|
| D | graph-view.js | 49 selectionDifference: function(span1, inclusive1, span2, inclusive2) { method
|