DockPreferences.with_filename


Description:

public DockPreferences.with_filename (string filename)