private void setDirectoryList(File directory, List<File> files) {
		// if the visible listing is still the same directory as this incoming list of files
		if (currentDirectory().equals(directory)) {
			// recompute list cell dims before causing an update to the model
			directoryTableModel.setFiles(files);
			directoryTable.scrollRectToVisible(new Rectangle(0, 0, 0, 0));
			directoryListModel.setFiles(files);
			directoryList.scrollRectToVisible(new Rectangle(0, 0, 0, 0));
		}
		updateShortCutPanel();
	}
Updates the given directory and selects the given file.

@param directory The directory to load and update
@param fileToSelect The file to select after updating the dir (may be null).
@param forceUpdate True signals to force the directory to update, even if it is the current
       directory
@param addToHistory True signals to add the given directory to the navigation history
Ghidra/Framework/Docking/src/main/java/docking/widgets/filechooser/GhidraFileChooser.java