Searched refs:oldSettings (Results 1 – 1 of 1) sorted by relevance
524 Map oldSettings = new TreeMap(); in print() local534 if (!value.equals(oldSettings.get(key))) { in print()542 oldSettings = settings; in print()