public synchronized boolean canRedo() {
		return transaction == null && !redoList.isEmpty();
	}
Determine if there is a transaction previously undone (see {@link #undo()}) that can be 
redone (see {@link #redo()}).

@return true if there is a transaction previously undone that can be redone, else false
Ghidra/Framework/SoftwareModeling/src/main/java/ghidra/program/model/data/StandAloneDataTypeManager.java