Also find external material files when the document is moved and origin is known

This commit is contained in:
Enrico Forestieri 2015-05-20 16:04:18 +02:00
parent a93ac27450
commit 7b0ecf1f38

View File

@ -272,7 +272,7 @@ bool InsetExternalParams::read(Buffer const & buffer, Lexer & lex)
case EX_FILENAME: { case EX_FILENAME: {
lex.eatLine(); lex.eatLine();
string const name = lex.getString(); string const name = lex.getString();
filename.set(name, buffer.filePath()); filename.set(name, buffer.originFilePath());
break; break;
} }