2006-04-15 09:54:24 +00:00
|
|
|
/**
|
2007-04-25 03:01:35 +00:00
|
|
|
* \file InsetMathPhantom.cpp
|
2006-04-15 09:54:24 +00:00
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author Georg Baum
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
2006-09-17 09:14:18 +00:00
|
|
|
#include "InsetMathPhantom.h"
|
2006-04-15 09:54:24 +00:00
|
|
|
|
2007-11-06 21:45:24 +00:00
|
|
|
#include "MathStream.h"
|
2006-04-15 09:54:24 +00:00
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
2008-05-06 10:36:32 +00:00
|
|
|
#include <ostream>
|
|
|
|
|
2006-10-21 00:16:43 +00:00
|
|
|
namespace lyx {
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
InsetMathPhantom::InsetMathPhantom(Kind k)
|
|
|
|
: InsetMathNest(1), kind_(k)
|
2006-04-15 09:54:24 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
2007-08-30 18:03:17 +00:00
|
|
|
Inset * InsetMathPhantom::clone() const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
2007-08-30 18:03:17 +00:00
|
|
|
return new InsetMathPhantom(*this);
|
2006-04-15 09:54:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2007-09-21 20:39:47 +00:00
|
|
|
void InsetMathPhantom::metrics(MetricsInfo & mi, Dimension & dim) const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
|
|
|
cell(0).metrics(mi, dim);
|
|
|
|
metricsMarkers(dim);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathPhantom::draw(PainterInfo & pi, int x, int y) const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
|
|
|
static int const arrow_size = 4;
|
|
|
|
|
|
|
|
// We first draw the text and then an arrow
|
2007-10-25 12:41:02 +00:00
|
|
|
ColorCode const origcol = pi.base.font.color();
|
|
|
|
pi.base.font.setColor(Color_special);
|
2006-04-15 09:54:24 +00:00
|
|
|
cell(0).draw(pi, x + 1, y);
|
|
|
|
pi.base.font.setColor(origcol);
|
2007-09-23 22:39:49 +00:00
|
|
|
Dimension const dim = dimension(*pi.base.bv);
|
2006-04-15 09:54:24 +00:00
|
|
|
|
|
|
|
if (kind_ == phantom || kind_ == vphantom) {
|
|
|
|
// y1---------
|
|
|
|
// / \.
|
|
|
|
// y2----- / | \.
|
|
|
|
// |
|
|
|
|
// |
|
|
|
|
// y3----- \ | /
|
|
|
|
// \ /
|
|
|
|
// y4---------
|
|
|
|
// | | |
|
|
|
|
// / | \.
|
|
|
|
// x1 x2 x3
|
|
|
|
|
2007-09-23 22:39:49 +00:00
|
|
|
int const x2 = x + dim.wid / 2;
|
2006-04-15 09:54:24 +00:00
|
|
|
int const x1 = x2 - arrow_size;
|
|
|
|
int const x3 = x2 + arrow_size;
|
|
|
|
|
2007-09-23 22:39:49 +00:00
|
|
|
int const y1 = y - dim.asc;
|
2006-04-15 09:54:24 +00:00
|
|
|
int const y2 = y1 + arrow_size;
|
2007-09-23 22:39:49 +00:00
|
|
|
int const y4 = y + dim.des;
|
2006-04-15 09:54:24 +00:00
|
|
|
int const y3 = y4 - arrow_size;
|
|
|
|
|
|
|
|
// top arrow
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x2, y1, x1, y2, Color_added_space);
|
|
|
|
pi.pain.line(x2, y1, x3, y2, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
|
|
|
|
// bottom arrow
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x2, y4, x1, y3, Color_added_space);
|
|
|
|
pi.pain.line(x2, y4, x3, y3, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
|
|
|
|
// joining line
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x2, y1, x2, y4, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (kind_ == phantom || kind_ == hphantom) {
|
|
|
|
// y1---- / \.
|
|
|
|
// / \.
|
|
|
|
// y2--- <---------------->
|
|
|
|
// \ /
|
|
|
|
// y3---- \ /
|
|
|
|
// | | | |
|
|
|
|
// x1 x2 x3 x4
|
|
|
|
|
|
|
|
int const x1 = x;
|
|
|
|
int const x2 = x + arrow_size;
|
2007-09-23 22:39:49 +00:00
|
|
|
int const x4 = x + dim.wid;
|
2006-04-15 09:54:24 +00:00
|
|
|
int const x3 = x4 - arrow_size;
|
|
|
|
|
2007-09-23 22:39:49 +00:00
|
|
|
int const y2 = y + (dim.des - dim.asc) / 2;
|
2006-04-15 09:54:24 +00:00
|
|
|
int const y1 = y2 - arrow_size;
|
|
|
|
int const y3 = y2 + arrow_size;
|
|
|
|
|
|
|
|
// left arrow
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x1, y2, x2, y3, Color_added_space);
|
|
|
|
pi.pain.line(x1, y2, x2, y1, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
|
|
|
|
// right arrow
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x4, y2, x3, y3, Color_added_space);
|
|
|
|
pi.pain.line(x4, y2, x3, y1, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
|
|
|
|
// joining line
|
2007-10-25 12:41:02 +00:00
|
|
|
pi.pain.line(x1, y2, x4, y2, Color_added_space);
|
2006-04-15 09:54:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
drawMarkers(pi, x, y);
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathPhantom::write(WriteStream & os) const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
2008-06-16 14:32:51 +00:00
|
|
|
bool brace = ensureMath(os);
|
2006-04-15 09:54:24 +00:00
|
|
|
switch (kind_) {
|
|
|
|
case phantom:
|
|
|
|
os << "\\phantom{";
|
|
|
|
break;
|
|
|
|
case vphantom:
|
|
|
|
os << "\\vphantom{";
|
|
|
|
break;
|
|
|
|
case hphantom:
|
|
|
|
os << "\\hphantom{";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
os << cell(0) << '}';
|
2008-06-16 01:21:17 +00:00
|
|
|
os.pendingBrace(brace);
|
2006-04-15 09:54:24 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-09-16 18:11:38 +00:00
|
|
|
void InsetMathPhantom::normalize(NormalStream & os) const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
|
|
|
switch (kind_) {
|
|
|
|
case phantom:
|
|
|
|
os << "[phantom ";
|
|
|
|
break;
|
|
|
|
case vphantom:
|
|
|
|
os << "[vphantom ";
|
|
|
|
break;
|
|
|
|
case hphantom:
|
|
|
|
os << "[hphantom ";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
os << cell(0) << ']';
|
|
|
|
}
|
|
|
|
|
|
|
|
|
2006-10-22 10:15:23 +00:00
|
|
|
void InsetMathPhantom::infoize(odocstream & os) const
|
2006-04-15 09:54:24 +00:00
|
|
|
{
|
|
|
|
switch (kind_) {
|
|
|
|
case phantom:
|
|
|
|
os << "Phantom";
|
|
|
|
break;
|
|
|
|
case vphantom:
|
|
|
|
os << "Vphantom";
|
|
|
|
break;
|
|
|
|
case hphantom:
|
|
|
|
os << "Hphantom";
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
}
|
2006-10-21 00:16:43 +00:00
|
|
|
|
|
|
|
|
|
|
|
} // namespace lyx
|