Fix nullpointer (#12898)

Also, quit method early if file does not exist
This commit is contained in:
Juergen Spitzmueller 2023-09-10 14:47:59 +02:00
parent ea55ca5e84
commit be1bf5c05c

View File

@ -321,13 +321,17 @@ void InsetGraphics::outBoundingBox(graphics::BoundingBox & bbox) const
FileName const file(params().filename.absFileName());
if (!file.exists())
return;
// No correction is necessary for a vector image
bool const zipped = theFormats().isZippedFile(file);
FileName const unzipped_file = zipped ? unzipFile(file) : file;
string const format = theFormats().getFormatFromFile(unzipped_file);
if (zipped)
unzipped_file.removeFile();
if (theFormats().getFormat(format)->vectorFormat())
if (theFormats().getFormat(format)
&& theFormats().getFormat(format)->vectorFormat())
return;
// Get the actual image dimensions in pixels