DockPreferences.with_file


Description:

public DockPreferences.with_file (File file)