>>>>> "José" == José Matos <[EMAIL PROTECTED]> writes:
José> Any objection to apply this patch to trunk? The second part is fine, the first looks bad: @@ -1145,8 +1145,8 @@ busy(true); // get LaTeX-Filename - string const name = getLatexName(false); string const path = temppath(); + string const name = path + '/' + getLatexName(); string const org_path = filePath(); support::Path p(path); // path to LaTeX file At least it should be string const name = addPath(path, getLatexName()); Georg, comments? I am not sure how it is supposed to work nowadays. JMarc