#include <config.h>
-#include "support/lassert.h"
-
#include "InsetMathXArrow.h"
#include "MathData.h"
#include "MathStream.h"
-#include "MathStream.h"
#include "MathSupport.h"
#include "LaTeXFeatures.h"
#include "MetricsInfo.h"
+#include "support/debug.h"
+#include "support/lassert.h"
#include <algorithm>
dim.wid = max(dim0.width(), dim1.width()) + 10;
dim.asc = dim0.height() + 10;
dim.des = dim1.height();
- metricsMarkers(mi, dim);
}
cell(0).draw(pi, x + dim.width()/2 - dim0.width()/2, y - 10);
Dimension const & dim1 = cell(1).dimension(*pi.base.bv);
cell(1).draw(pi, x + dim.width()/2 - dim1.width()/2, y + dim1.height());
- mathed_draw_deco(pi, x + 1, y - 7, dim.wid - 2, 5, name_);
- drawMarkers(pi, x, y);
+ mathed_draw_deco(pi, x, y - 7, dim.wid, 5, name_);
}
-void InsetMathXArrow::write(WriteStream & os) const
+void InsetMathXArrow::write(TeXMathStream & os) const
{
MathEnsurer ensurer(os);
os << '\\' << name_;
}
-void InsetMathXArrow::mathmlize(MathStream & ms) const
+static std::map<string, string> latex_to_html_entities = {
+ {"xleftarrow", "←"},
+ {"xrightarrow", "→"},
+ {"xhookleftarrow", "↩"},
+ {"xhookrightarrow", "↪"},
+ {"xLeftarrow", "⇐"},
+ {"xRightarrow", "⇒"},
+ {"xleftrightarrow", "↔"},
+ {"xLeftrightarrow", "⇔"},
+ {"xleftharpoondown", "↽"},
+ {"xleftharpoonup", "↼"},
+ {"xleftrightharpoons", "⇋"},
+ {"xrightharpoondown", "⇁"},
+ {"xrightharpoonup", "⇀"},
+ {"xrightleftharpoons", "⇌"},
+ {"xmapsto", "↦"},
+};
+
+
+static std::map<string, string> latex_to_xml_entities = {
+ {"xleftarrow", "←"},
+ {"xrightarrow", "→"},
+ {"xhookleftarrow", "↩"},
+ {"xhookrightarrow", "↪"},
+ {"xLeftarrow", "⇐"},
+ {"xRightarrow", "⇒"},
+ {"xleftrightarrow", "↔"},
+ {"xLeftrightarrow", "⇔"},
+ {"xleftharpoondown", "↽"},
+ {"xleftharpoonup", "↼"},
+ {"xleftrightharpoons", "⇋"},
+ {"xrightharpoondown", "⇁"},
+ {"xrightharpoonup", "⇀"},
+ {"xrightleftharpoons", "⇌"},
+ {"xmapsto", "↦"},
+};
+
+
+docstring map_latex_to(docstring latex, bool xml = false)
{
- char const * arrow;
-
- if (name_ == "xleftarrow")
- arrow = "←";
- else if (name_ == "xrightarrow")
- arrow = "→";
- else if (name_ == "xhookleftarrow")
- arrow = "↩";
- else if (name_ == "xhookrightarrow")
- arrow = "↪";
- else if (name_ == "xLeftarrow")
- arrow = "⇐";
- else if (name_ == "xRightarrow")
- arrow = "⇒";
- else if (name_ == "xleftrightarrow")
- arrow = "↔";
- else if (name_ == "xLeftrightarrow")
- arrow = "⇔";
- else if (name_ == "xleftharpoondown")
- arrow = "↽";
- else if (name_ == "xleftharpoonup")
- arrow = "↼";
- else if (name_ == "xleftrightharpoons")
- arrow = "⇋";
- else if (name_ == "xrightharpoondown")
- arrow = "⇁";
- else if (name_ == "xrightharpoonup")
- arrow = "⇀";
- else if (name_ == "xrightleftharpoons")
- arrow = "⇌";
- else if (name_ == "xmapsto")
- arrow = "↦";
- else {
- lyxerr << "mathmlize conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
+ auto dict = (xml) ? latex_to_xml_entities : latex_to_html_entities;
+
+ auto mapping = dict.find(to_ascii(latex));
+ if (mapping != dict.end()) {
+ return from_ascii(mapping->second);
+ } else {
+ std::string format = (xml) ? "XML" : "HTML";
+ lyxerr << "mathmlize " << format << " conversion for '" << latex << "' not implemented" << endl;
+ LASSERT(false, return from_ascii(dict["xrightarrow"]));
}
- ms << "<munderover accent='false' accentunder='false'>"
- << arrow << cell(1) << cell(0)
- << "</munderover>";
+}
+
+
+void InsetMathXArrow::mathmlize(MathMLStream & ms) const
+{
+ docstring arrow = map_latex_to(name_, ms.xmlMode());
+ ms << "<" << from_ascii(ms.namespacedTag("munderover")) << " accent='false' accentunder='false'>"
+ << MTagInline("mo") << arrow << ETagInline("mo")
+ << cell(1) << cell(0)
+ << "</" << from_ascii(ms.namespacedTag("munderover"))<< ">";
}
void InsetMathXArrow::htmlize(HtmlStream & os) const
{
- char const * arrow;
-
- if (name_ == "xleftarrow")
- arrow = "←";
- else if (name_ == "xrightarrow")
- arrow = "→";
- else if (name_ == "xhookleftarrow")
- arrow = "↩";
- else if (name_ == "xhookrightarrow")
- arrow = "↪";
- else if (name_ == "xLeftarrow")
- arrow = "⇐";
- else if (name_ == "xRightarrow")
- arrow = "⇒";
- else if (name_ == "xleftrightarrow")
- arrow = "↔";
- else if (name_ == "xLeftrightarrow")
- arrow = "⇔";
- else if (name_ == "xleftharpoondown")
- arrow = "↽";
- else if (name_ == "xleftharpoonup")
- arrow = "↼";
- else if (name_ == "xleftrightharpoons")
- arrow = "⇋";
- else if (name_ == "xrightharpoondown")
- arrow = "⇁";
- else if (name_ == "xrightharpoonup")
- arrow = "⇀";
- else if (name_ == "xrightleftharpoons")
- arrow = "⇌";
- else if (name_ == "xmapsto")
- arrow = "↦";
- else {
- lyxerr << "htmlize conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
- }
+ docstring arrow = map_latex_to(name_);
os << MTag("span", "class='xarrow'")
- << MTag("span", "class='xatop'") << cell(0) << ETag("span")
- << MTag("span", "class='xabottom'") << arrow << ETag("span")
- << ETag("span");
+ << MTag("span", "class='xatop'") << cell(0) << ETag("span")
+ << MTag("span", "class='xabottom'") << arrow << ETag("span")
+ << ETag("span");
}
features.require("amsmath");
else
features.require("mathtools");
+
if (features.runparams().math_flavor == OutputParams::MathAsHTML)
// CSS adapted from eLyXer
features.addCSSSnippet(