commit 7399d99c98f6e021fdba99666660ad2a380a160f
Author: Scott Kostyshak <[email protected]>
Date: Wed May 27 11:25:06 2015 -0400
Allow SVGs in HTML output (#7441)
This is only a specific part of #7441.
Patch from Julien Rioux.
diff --git a/src/insets/InsetGraphics.cpp b/src/insets/InsetGraphics.cpp
index 7e18ec6..2572669 100644
--- a/src/insets/InsetGraphics.cpp
+++ b/src/insets/InsetGraphics.cpp
@@ -119,8 +119,14 @@ string findTargetFormat(string const & format,
OutputParams const & runparams)
}
// for HTML, we leave the known formats and otherwise convert to png
if (runparams.flavor == OutputParams::HTML) {
+ Format const * const f = formats.getFormat(format);
+ // Convert vector graphics to svg
+ if (f && f->vectorFormat() &&
theConverters().isReachable(format, "svg"))
+ return "svg";
+ // Leave the known formats alone
if (format == "jpg" || format == "png" || format == "gif")
return format;
+ // Convert everything else to png
return "png";
}
// If it's postscript, we always do eps.