public synchronized List<String> getAllRedoNames() {
		if (canRedo()) {
			return new ArrayList<>(redoList);
		}
		return List.of();
	}
Get all transaction names that are available within the {@link #redo()} stack.

@return all transaction names that are available within the {@link #redo()} stack.
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/StandAloneDataTypeManager.java