[ Version ( since = "2.14" ) ]
public void unselect_file (File file)
Unselects the file referred to by file.
If the file is not in the current directory, does not exist, or is otherwise not currently selected, does nothing.
| this | |
| file |
a File |