2003-08-19 13:00:56 +00:00
|
|
|
|
/**
|
|
|
|
|
* \file math_frameboxinset.C
|
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
|
*
|
|
|
|
|
* \author Andr<EFBFBD> P<EFBFBD>nitz
|
|
|
|
|
*
|
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
|
*/
|
|
|
|
|
|
2002-08-29 09:57:57 +00:00
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
|
|
#include "math_frameboxinset.h"
|
|
|
|
|
#include "math_support.h"
|
|
|
|
|
#include "math_mathmlstream.h"
|
|
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
|
2003-07-25 17:11:25 +00:00
|
|
|
|
using std::auto_ptr;
|
|
|
|
|
|
2002-08-29 09:57:57 +00:00
|
|
|
|
|
|
|
|
|
MathFrameboxInset::MathFrameboxInset()
|
2003-03-03 12:02:28 +00:00
|
|
|
|
: MathNestInset(3)
|
2002-08-29 09:57:57 +00:00
|
|
|
|
{}
|
|
|
|
|
|
|
|
|
|
|
2003-07-25 17:11:25 +00:00
|
|
|
|
auto_ptr<InsetBase> MathFrameboxInset::clone() const
|
2002-08-29 09:57:57 +00:00
|
|
|
|
{
|
2003-07-25 17:11:25 +00:00
|
|
|
|
return auto_ptr<InsetBase>(new MathFrameboxInset(*this));
|
2002-08-29 09:57:57 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
2003-06-02 10:03:27 +00:00
|
|
|
|
void MathFrameboxInset::metrics(MetricsInfo & mi, Dimension & dim) 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);
|
2003-05-28 13:22:36 +00:00
|
|
|
|
dim_ = cell(0).dim();
|
|
|
|
|
dim_ += cell(1).dim();
|
|
|
|
|
dim_ += cell(2).dim();
|
|
|
|
|
metricsMarkers();
|
2003-06-02 10:03:27 +00:00
|
|
|
|
dim = dim_;
|
2002-08-29 09:57:57 +00:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
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");
|
2003-05-28 13:22:36 +00:00
|
|
|
|
pi.pain.rectangle(x + 1, y - dim_.ascent() + 1,
|
|
|
|
|
dim_.width() - 2, dim_.height() - 2, 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
|
|
|
|
}
|