#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
+void InsetMathXArrow::mathmlize(MathMLStream & ms) 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 << "mathmlize conversion for '" << name_ << "' not implemented" << endl;
- LASSERT(false, arrow = "→");
+
+ if (!ms.xmlMode()) { // Use HTML entities.
+ 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 = "→");
+ }
+ } else { // Use XML entities.
+ 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 XML conversion for '" << name_ << "' not implemented" << endl;
+ LASSERT(false, arrow = "→");
+ }
}
- ms << "<munderover accent='false' accentunder='false'>"
+
+ ms << "<" << from_ascii(ms.namespacedTag("munderover")) << " accent='false' accentunder='false'>"
<< arrow << cell(1) << cell(0)
- << "</munderover>";
+ << "</" << from_ascii(ms.namespacedTag("munderover"))<< ">";
}