commit bd9f5408cfe588dd68b8d7b011ef4f796477bca5
Author: Enrico Forestieri <for...@lyx.org>
Date:   Fri Mar 13 00:34:53 2015 +0100

    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 2008838..134dc17 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);
 }
 

Reply via email to