#include "MetricsInfo.h"
#include "frontends/FontMetrics.h"
-
+#include "support/lassert.h"
namespace lyx {
dim.wid = (dim.wid / 2) + 1;
dh_ = dim.asc;
}
- else if (key_->name == "ddots")
+ else if (key_->name == "ddots" || key_->name == "adots" || key_->name == "iddots")
dh_ = dim.asc;
}
void InsetMathDots::draw(PainterInfo & pain, int x, int y) const
{
Dimension const dim = dimension(*pain.base.bv);
+ if (key_->name == "adots" || key_->name == "iddots")
+ --y;
mathed_draw_deco(pain, x + 2, y - dh_, dim.width() - 2, dim.ascent(),
- key_->name);
- if (key_->name == "vdots" || key_->name == "ddots")
+ key_->name);
+ if (key_->name == "vdots" || key_->name == "ddots" || key_->name == "adots" || key_->name == "iddots")
++x;
- if (key_->name != "vdots")
+ if (key_->name == "adots" || key_->name == "iddots")
+ ++y;
+ else if (key_->name != "vdots")
--y;
mathed_draw_deco(pain, x + 2, y - dh_, dim.width() - 2, dim.ascent(),
key_->name);
}
+docstring InsetMathDots::mathmlize(MathStream & os) const
+{
+ // which symbols we support is decided by what is listed in
+ // lib/symbols as generating a dots inset
+ docstring const & n = key_->name;
+ std::string ent;
+ if (n == "dots" || n == "dotsc" || n == "dotso" || n == "ldots")
+ ent = "…";
+ else if (n == "adots")
+ ent = "⋰";
+ else if (n == "cdots" || n == "dotsb" || n == "dotsi" || n == "dotsm")
+ ent = "⋯";
+ else if (n == "ddots")
+ ent = "⋱";
+ else if (n == "iddots")
+ ent = "⋰";
+ else if (n == "vdots")
+ ent = "⋮";
+ else
+ LASSERT(false, ent = "…");
+ os << MTag("mi") << from_ascii(ent) << ETag("mi");
+ return docstring();
+}
+
} // namespace lyx