String toString(int idPad) {

			int myLength = Integer.toString(id).length();
			int delta = Math.max(0, idPad - myLength);
			String pad = PADDING.substring(0, delta);

			return "(" + id + ") " + pad + dateFormat.format(time) + " " + message;
		}
Records messages for later playback.  This can be useful for tracking the order of sequences/
callbacks.
Ghidra/Framework/Docking/src/test/java/ghidra/docking/spy/SpyEventRecorder.java