2002-08-29 09:57:57 +00:00
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
|
|
|
|
#include "math_frameboxinset.h"
|
|
|
|
#include "math_support.h"
|
|
|
|
#include "math_mathmlstream.h"
|
|
|
|
#include "math_streamstr.h"
|
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
MathFrameboxInset::MathFrameboxInset()
|
2003-03-03 12:02:28 +00:00
|
|
|
: MathNestInset(3)
|
2002-08-29 09:57:57 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
|
MathInset * MathFrameboxInset::clone() const
|
|
|
|
{
|
|
|
|
return new MathFrameboxInset(*this);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
void MathFrameboxInset::metrics(MetricsInfo & mi) const
|
2002-08-29 09:57:57 +00:00
|
|
|
{
|
2003-03-21 14:20:48 +00:00
|
|
|
FontSetChanger dummy(mi.base, "textnormal");
|
2002-08-29 09:57:57 +00:00
|
|
|
w_ = mathed_char_width(mi.base.font, '[');
|
|
|
|
MathNestInset::metrics(mi);
|
|
|
|
dim_ = cell(0).dim();
|
|
|
|
dim_ += cell(1).dim();
|
2003-03-03 12:02:28 +00:00
|
|
|
dim_ += cell(2).dim();
|
2003-05-27 13:55:03 +00:00
|
|
|
dim_.wid += 4 * w_ + 4;
|
2002-08-29 09:57:57 +00:00
|
|
|
metricsMarkers2(5); // 5 pixels margin
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2003-03-21 14:20:48 +00:00
|
|
|
void MathFrameboxInset::draw(PainterInfo & pi, int x, int y) const
|
2002-08-29 09:57:57 +00:00
|
|
|
{
|
2003-03-21 14:20:48 +00:00
|
|
|
FontSetChanger dummy(pi.base, "textnormal");
|
2002-08-29 09:57:57 +00:00
|
|
|
pi.pain.rectangle(x + 1, y - ascent() + 1, width() - 2, height() - 2,
|
2003-04-14 15:28:31 +00:00
|
|
|
LColor::foreground);
|
2002-08-29 09:57:57 +00:00
|
|
|
x += 5;
|
2003-03-03 12:02:28 +00:00
|
|
|
|
2002-08-29 09:57:57 +00:00
|
|
|
drawStrBlack(pi, x, y, "[");
|
|
|
|
x += w_;
|
|
|
|
cell(0).draw(pi, x, y);
|
|
|
|
x += cell(0).width();
|
|
|
|
drawStrBlack(pi, x, y, "]");
|
|
|
|
x += w_ + 4;
|
2003-03-03 12:02:28 +00:00
|
|
|
|
|
|
|
drawStrBlack(pi, x, y, "[");
|
|
|
|
x += w_;
|
2002-08-29 09:57:57 +00:00
|
|
|
cell(1).draw(pi, x, y);
|
2003-03-03 12:02:28 +00:00
|
|
|
x += cell(1).width();
|
|
|
|
drawStrBlack(pi, x, y, "]");
|
|
|
|
x += w_ + 4;
|
|
|
|
|
|
|
|
cell(2).draw(pi, x, y);
|
2002-08-29 09:57:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathFrameboxInset::write(WriteStream & os) const
|
|
|
|
{
|
|
|
|
os << "\\framebox";
|
2003-03-03 12:02:28 +00:00
|
|
|
os << '[' << cell(0) << ']';
|
|
|
|
if (cell(1).size())
|
|
|
|
os << '[' << cell(1) << ']';
|
|
|
|
os << '{' << cell(2) << '}';
|
2002-08-29 09:57:57 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathFrameboxInset::normalize(NormalStream & os) const
|
|
|
|
{
|
2003-03-03 12:02:28 +00:00
|
|
|
os << "[framebox " << cell(0) << ' ' << cell(1) << ' ' << cell(2) << ']';
|
2002-08-29 09:57:57 +00:00
|
|
|
}
|