-
Mathieu Tillet authored
When using replaceWorkspace to replace the workspace being shown in an instrument window using the python API, the user can specify the new title of the window. If none is specified, the name of the new workspace is used.
9a065365