Abdelrazak Younes wrote: > Is this the correct fix?
No. replaceEnvironmentPath() is supposed to work on internal paths already. The rule is very simple: Paths with backslashes are not allowed in any part of the code except when they are output to an external file or for display purposes. You have to call internalPath() as early as possible, in this case when reading the name from the preferences file, but I don't know whether we support paths with backslashes in the preferences file at all. If we do not support that, then you need to make sure that internal_path() is called for the result of all file dialogs (but I thought that Enrico did that already). Georg
