From: Enrico Forestieri Date: Thu, 12 Mar 2015 23:34:53 +0000 (+0100) Subject: Properly name an uncompressed sgvz file. X-Git-Tag: 2.2.0alpha1~1203 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=bd9f5408cfe588dd68b8d7b011ef4f796477bca5;p=features.git Properly name an uncompressed sgvz file. Some tools may rely on the extension and do not actually check whether a svg file is compressed or not. --- diff --git a/src/support/filetools.cpp b/src/support/filetools.cpp index 20088386f9..134dc17561 100644 --- a/src/support/filetools.cpp +++ b/src/support/filetools.cpp @@ -872,6 +872,8 @@ string const unzippedFileName(string const & zipped_file) string const ext = getExtension(zipped_file); if (ext == "gz" || ext == "z" || ext == "Z") return changeExtension(zipped_file, string()); + else if (ext == "svgz") + return changeExtension(zipped_file, "svg"); return onlyPath(zipped_file) + "unzipped_" + onlyFileName(zipped_file); }