private String getTimestampString(long timestamp) {
		return DATE_FORMAT.format(new Date(timestamp));
	}
checks to see if we are ignoring selection changes AND will reset the ignore state
Ghidra/Framework/Docking/src/main/java/docking/widgets/table/RowObjectSelectionManager.java