Function EditorInterface.selectFile

Selects the file, with the path provided by file, in the FileSystem dock.

void selectFile (
  const(String) file
) nothrow @nogc;