private void restoreViewStyle() {
		String titleKey = getTitle();
		String viewStyle = Preferences.getProperty(VIEW_STYLE_PREFIX + titleKey);
		if (viewStyle != null) {
			setShowDetails(viewStyle.equals(DETAILS_VIEW_STYLE));
		}
	}
Sets the selected file. If the file's parent directory is not the current directory,
changes the current directory to be the file's parent directory.
<p>
If the given file is a directory, then it's parent directory will be made the current
directory and the directory represented by the file will be selected within the parent
directory.
<p>
If the given file does not exist, then the following will happen:
<ul>
 <li>If the parent directory of the file exists, then the parent directory will be made
     the current directory and the name of the file will be put into the filename
     textfield; otherwise,</li>
 <li>If the parent file does <b>not</b> exist, then the selection is cleared.</li>
</ul>
<p>
If the given file is null, then the selected file state is cleared.

@see #getSelectedFile
@param file the selected file
Ghidra/Framework/Docking/src/main/java/docking/widgets/filechooser/GhidraFileChooser.java