Searched refs:tipKey (Results 1 – 2 of 2) sorted by relevance
141 K tipKey = tip.getKey(); in furthestPath() local142 if (beyond(range, tipKey, side)) { in furthestPath()156 return beyond(range, tipKey, side.other()) ? null : currentPath; in furthestPath()
148 String tipKey, in addCopyToPanelButton() argument167 addButton(tip(moveButton, tipKey)); in addCopyToPanelButton()