private void checkIfHistoryWasOpen() {
		String showHistory =
			Preferences.getProperty(SHOW_HISTORY_PREFERENCES_KEY, Boolean.FALSE.toString(), true);

		if (Boolean.parseBoolean(showHistory)) {
			showHistoryPanel(true);
		}
	}
Constructor
@param tool tool where the file is being opened.
@param title title to use
@param domainObjectClass allowed domain object class which corresponds to {@code <T>}
@param openDomainObjects if non-null, will cause an additional tab showing the given
list of open domain objects that the user can select from
Ghidra/Features/Base/src/main/java/ghidra/framework/main/OpenVersionedFileDialog.java