public void putRecent(String f) {
		// Trim from back end if too long
		while (recentNames.size() > maxRecentFiles - 1) {
			recentNames.remove(recentNames.size()-1);
		}
		// Move filename to front: Remove if present, add at front.
		if (recentNames.contains(f)) {
			recentNames.remove(f);
		}
		recentNames.add(0, f);

		// Now save from List into Prefs
		for (int i = 0; i < recentNames.size(); i++) {
			String t = recentNames.get(i);
			prefsNode.put(makeName(i), t);
		}

		// Finally, load menu again.
		callCallBack();
	}