2 * \file InsetMathPhantom.cpp
3 * This file is part of LyX, the document processor.
4 * Licence details can be found in the file COPYING.
8 * Full author contact details are available in file CREDITS.
13 #include "InsetMathPhantom.h"
14 #include "MathStream.h"
15 #include "MathStream.h"
19 #include "frontends/Painter.h"
21 #include "support/std_ostream.h"
27 InsetMathPhantom::InsetMathPhantom(Kind k)
28 : InsetMathNest(1), kind_(k)
32 Inset * InsetMathPhantom::clone() const
34 return new InsetMathPhantom(*this);
38 void InsetMathPhantom::metrics(MetricsInfo & mi, Dimension & dim) const
40 cell(0).metrics(mi, dim);
42 // Cache the inset dimension.
47 void InsetMathPhantom::draw(PainterInfo & pi, int x, int y) const
49 static int const arrow_size = 4;
51 // We first draw the text and then an arrow
52 Color_color const origcol = pi.base.font.color();
53 pi.base.font.setColor(Color::special);
54 cell(0).draw(pi, x + 1, y);
55 pi.base.font.setColor(origcol);
56 Dimension const dim = dimension(*pi.base.bv);
58 if (kind_ == phantom || kind_ == vphantom) {
71 int const x2 = x + dim.wid / 2;
72 int const x1 = x2 - arrow_size;
73 int const x3 = x2 + arrow_size;
75 int const y1 = y - dim.asc;
76 int const y2 = y1 + arrow_size;
77 int const y4 = y + dim.des;
78 int const y3 = y4 - arrow_size;
81 pi.pain.line(x2, y1, x1, y2, Color::added_space);
82 pi.pain.line(x2, y1, x3, y2, Color::added_space);
85 pi.pain.line(x2, y4, x1, y3, Color::added_space);
86 pi.pain.line(x2, y4, x3, y3, Color::added_space);
89 pi.pain.line(x2, y1, x2, y4, Color::added_space);
92 if (kind_ == phantom || kind_ == hphantom) {
95 // y2--- <---------------->
102 int const x2 = x + arrow_size;
103 int const x4 = x + dim.wid;
104 int const x3 = x4 - arrow_size;
106 int const y2 = y + (dim.des - dim.asc) / 2;
107 int const y1 = y2 - arrow_size;
108 int const y3 = y2 + arrow_size;
111 pi.pain.line(x1, y2, x2, y3, Color::added_space);
112 pi.pain.line(x1, y2, x2, y1, Color::added_space);
115 pi.pain.line(x4, y2, x3, y3, Color::added_space);
116 pi.pain.line(x4, y2, x3, y1, Color::added_space);
119 pi.pain.line(x1, y2, x4, y2, Color::added_space);
122 drawMarkers(pi, x, y);
126 void InsetMathPhantom::write(WriteStream & os) const
139 os << cell(0) << '}';
143 void InsetMathPhantom::normalize(NormalStream & os) const
156 os << cell(0) << ']';
160 void InsetMathPhantom::infoize(odocstream & os) const