Lines Matching refs:history
404 List<String> history = horizontal ? horizontalHistory :
406 if (history.contains(name)) {
407 history.remove(name);
409 } else if (history.size() == 2 && value != null) {
410 history.remove(0);
414 history.add(name);
419 if (!history.contains(s)) {
497 private boolean defined(List history, String s1, String s2) {
498 return history.contains(s1) && history.contains(s2);
1104 List<String> history) {
1105 if (history.size() == 0) {
1118 Collections.rotate(history, 1);