2016-11-16 14:07:00 +00:00
|
|
|
/**
|
|
|
|
* \file MathRow.cpp
|
|
|
|
* This file is part of LyX, the document processor.
|
|
|
|
* Licence details can be found in the file COPYING.
|
|
|
|
*
|
|
|
|
* \author Jean-Marc Lasgouttes
|
|
|
|
*
|
|
|
|
* Full author contact details are available in file CREDITS.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include <config.h>
|
|
|
|
|
|
|
|
#include "MathRow.h"
|
|
|
|
|
|
|
|
#include "InsetMath.h"
|
|
|
|
#include "MathClass.h"
|
|
|
|
#include "MathData.h"
|
|
|
|
#include "MathSupport.h"
|
|
|
|
|
|
|
|
#include "BufferView.h"
|
|
|
|
#include "CoordCache.h"
|
|
|
|
#include "MetricsInfo.h"
|
|
|
|
|
2016-10-04 22:25:38 +00:00
|
|
|
#include "frontends/FontMetrics.h"
|
2016-11-16 14:07:00 +00:00
|
|
|
#include "frontends/Painter.h"
|
|
|
|
|
|
|
|
#include "support/debug.h"
|
|
|
|
#include "support/docstring.h"
|
|
|
|
#include "support/lassert.h"
|
|
|
|
|
|
|
|
#include <ostream>
|
|
|
|
|
|
|
|
using namespace std;
|
|
|
|
|
|
|
|
namespace lyx {
|
|
|
|
|
|
|
|
|
2017-01-05 12:25:28 +00:00
|
|
|
MathRow::Element::Element(MetricsInfo const & mi, Type t, MathClass mc)
|
|
|
|
: type(t), mclass(mc), before(0), after(0), macro_nesting(mi.base.macro_nesting),
|
2017-01-06 08:52:10 +00:00
|
|
|
marker(InsetMath::NO_MARKER), inset(0), compl_unique_to(0),
|
2017-02-01 14:20:06 +00:00
|
|
|
color(Color_red)
|
2016-11-16 14:07:00 +00:00
|
|
|
{}
|
|
|
|
|
|
|
|
|
2016-10-04 22:25:38 +00:00
|
|
|
MathRow::MathRow(MetricsInfo & mi, MathData const * ar)
|
2016-11-16 14:07:00 +00:00
|
|
|
{
|
|
|
|
// First there is a dummy element of type "open"
|
2017-01-05 12:25:28 +00:00
|
|
|
push_back(Element(mi, DUMMY, MC_OPEN));
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
// Then insert the MathData argument
|
2016-10-04 22:25:38 +00:00
|
|
|
bool const has_contents = ar->addToMathRow(*this, mi);
|
|
|
|
|
2017-01-13 09:17:05 +00:00
|
|
|
// A MathRow should not be completely empty
|
2016-10-04 22:25:38 +00:00
|
|
|
if (!has_contents) {
|
2017-01-05 12:25:28 +00:00
|
|
|
Element e(mi, BOX, MC_ORD);
|
2017-01-13 09:17:05 +00:00
|
|
|
// empty arrays are visible when they are editable
|
2016-11-28 12:13:36 +00:00
|
|
|
e.color = mi.base.macro_nesting == 0 ? Color_mathline : Color_none;
|
2016-10-04 22:25:38 +00:00
|
|
|
push_back(e);
|
|
|
|
}
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
// Finally there is a dummy element of type "close"
|
2017-01-05 12:25:28 +00:00
|
|
|
push_back(Element(mi, DUMMY, MC_CLOSE));
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
/* Do spacing only in math mode. This test is a bit clumsy,
|
|
|
|
* but it is used in other places for guessing the current mode.
|
|
|
|
*/
|
2017-01-06 08:52:10 +00:00
|
|
|
bool const dospacing = isMathFont(mi.base.fontname);
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
// update classes
|
2017-01-06 08:52:10 +00:00
|
|
|
if (dospacing) {
|
|
|
|
for (int i = 1 ; i != static_cast<int>(elements_.size()) - 1 ; ++i) {
|
|
|
|
if (elements_[i].mclass != MC_UNKNOWN)
|
|
|
|
update_class(elements_[i].mclass, elements_[before(i)].mclass,
|
|
|
|
elements_[after(i)].mclass);
|
|
|
|
}
|
2016-11-16 14:07:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// set spacing
|
|
|
|
// We go to the end to handle spacing at the end of equation
|
|
|
|
for (int i = 1 ; i != static_cast<int>(elements_.size()) ; ++i) {
|
2017-01-06 08:52:10 +00:00
|
|
|
Element & e = elements_[i];
|
|
|
|
|
|
|
|
if (e.mclass == MC_UNKNOWN)
|
2016-11-16 14:07:00 +00:00
|
|
|
continue;
|
2017-01-06 08:52:10 +00:00
|
|
|
|
2016-11-16 14:07:00 +00:00
|
|
|
Element & bef = elements_[before(i)];
|
2017-01-06 08:52:10 +00:00
|
|
|
if (dospacing) {
|
|
|
|
int spc = class_spacing(bef.mclass, e.mclass, mi.base);
|
|
|
|
bef.after += spc / 2;
|
|
|
|
// this is better than spc / 2 to avoid rounding problems
|
|
|
|
e.before += spc - spc / 2;
|
|
|
|
}
|
|
|
|
|
|
|
|
// finally reserve space for markers
|
|
|
|
if (bef.marker != Inset::NO_MARKER)
|
|
|
|
bef.after = max(bef.after, 1);
|
|
|
|
if (e.marker != Inset::NO_MARKER)
|
|
|
|
e.before = max(e.before, 1);
|
2016-11-16 14:07:00 +00:00
|
|
|
}
|
2017-01-06 08:52:10 +00:00
|
|
|
|
2016-11-16 14:07:00 +00:00
|
|
|
// Do not lose spacing allocated to extremities
|
|
|
|
if (!elements_.empty()) {
|
|
|
|
elements_[after(0)].before += elements_.front().after;
|
|
|
|
elements_[before(elements_.size() - 1)].after += elements_.back().before;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int MathRow::before(int i) const
|
|
|
|
{
|
|
|
|
do
|
|
|
|
--i;
|
2016-12-02 14:58:39 +00:00
|
|
|
while (elements_[i].mclass == MC_UNKNOWN);
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int MathRow::after(int i) const
|
|
|
|
{
|
|
|
|
do
|
|
|
|
++i;
|
2016-12-02 14:58:39 +00:00
|
|
|
while (elements_[i].mclass == MC_UNKNOWN);
|
2016-11-16 14:07:00 +00:00
|
|
|
|
|
|
|
return i;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
void MathRow::metrics(MetricsInfo & mi, Dimension & dim) const
|
|
|
|
{
|
|
|
|
dim.asc = 0;
|
|
|
|
dim.wid = 0;
|
|
|
|
// In order to compute the dimension of macros and their
|
|
|
|
// arguments, it is necessary to keep track of them.
|
2017-02-01 14:20:06 +00:00
|
|
|
map<InsetMath const *, Dimension> dim_insets;
|
2016-11-16 14:07:00 +00:00
|
|
|
map<MathData const *, Dimension> dim_arrays;
|
|
|
|
CoordCache & coords = mi.base.bv->coordCache();
|
|
|
|
for (Element const & e : elements_) {
|
2017-01-05 12:25:28 +00:00
|
|
|
mi.base.macro_nesting = e.macro_nesting;
|
2016-11-16 14:07:00 +00:00
|
|
|
Dimension d;
|
|
|
|
switch (e.type) {
|
2016-12-02 14:58:39 +00:00
|
|
|
case DUMMY:
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case INSET:
|
|
|
|
e.inset->metrics(mi, d);
|
|
|
|
d.wid += e.before + e.after;
|
|
|
|
coords.insets().add(e.inset, d);
|
|
|
|
break;
|
|
|
|
case BEG_MACRO:
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->beforeMetrics();
|
2016-11-16 14:07:00 +00:00
|
|
|
// Add a macro to current list
|
2017-02-01 14:20:06 +00:00
|
|
|
dim_insets[e.inset] = Dimension();
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case END_MACRO:
|
2017-02-01 14:20:06 +00:00
|
|
|
LATTEST(dim_insets.find(e.inset) != dim_insets.end());
|
|
|
|
e.inset->afterMetrics();
|
2016-11-16 14:07:00 +00:00
|
|
|
// Cache the dimension of the macro and remove it from
|
|
|
|
// tracking map.
|
2017-02-01 14:20:06 +00:00
|
|
|
coords.insets().add(e.inset, dim_insets[e.inset]);
|
|
|
|
dim_insets.erase(e.inset);
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
// This is basically like macros
|
|
|
|
case BEG_ARG:
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->beforeMetrics();
|
2016-11-16 14:07:00 +00:00
|
|
|
dim_arrays[e.ar] = Dimension();
|
|
|
|
break;
|
|
|
|
case END_ARG:
|
|
|
|
LATTEST(dim_arrays.find(e.ar) != dim_arrays.end());
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->afterMetrics();
|
2016-11-16 14:07:00 +00:00
|
|
|
coords.arrays().add(e.ar, dim_arrays[e.ar]);
|
|
|
|
dim_arrays.erase(e.ar);
|
|
|
|
break;
|
2016-10-04 22:25:38 +00:00
|
|
|
case BOX:
|
|
|
|
d = theFontMetrics(mi.base.font).dimension('I');
|
2017-01-13 09:17:05 +00:00
|
|
|
if (e.color != Color_none) {
|
|
|
|
// allow for one pixel before/after the box.
|
|
|
|
d.wid += e.before + e.after + 2;
|
|
|
|
} else {
|
|
|
|
// hide the box, but give it some height
|
|
|
|
d.wid = 0;
|
|
|
|
}
|
2016-10-04 22:25:38 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
2017-01-06 08:52:10 +00:00
|
|
|
// handle vertical space for markers
|
|
|
|
switch(e.marker) {
|
|
|
|
case InsetMath::NO_MARKER:
|
|
|
|
break;
|
|
|
|
case InsetMath::MARKER:
|
|
|
|
++d.des;
|
|
|
|
break;
|
|
|
|
case InsetMath::MARKER2:
|
|
|
|
++d.asc;
|
|
|
|
++d.des;
|
|
|
|
}
|
|
|
|
|
2016-10-04 22:25:38 +00:00
|
|
|
if (!d.empty()) {
|
|
|
|
dim += d;
|
|
|
|
// Now add the dimension to current macros and arguments.
|
2017-02-01 14:20:06 +00:00
|
|
|
for (auto & dim_macro : dim_insets)
|
2016-10-04 22:25:38 +00:00
|
|
|
dim_macro.second += d;
|
|
|
|
for (auto & dim_array : dim_arrays)
|
|
|
|
dim_array.second += d;
|
2016-11-16 14:07:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
if (e.compl_text.empty())
|
|
|
|
continue;
|
|
|
|
FontInfo font = mi.base.font;
|
|
|
|
augmentFont(font, "mathnormal");
|
|
|
|
dim.wid += mathed_string_width(font, e.compl_text);
|
|
|
|
}
|
2017-02-01 14:20:06 +00:00
|
|
|
LATTEST(dim_insets.empty() && dim_arrays.empty());
|
2016-11-16 14:07:00 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
|
2017-01-06 08:52:10 +00:00
|
|
|
namespace {
|
|
|
|
|
|
|
|
void drawMarkers(PainterInfo const & pi, MathRow::Element const & e, int const x, int const y)
|
|
|
|
{
|
|
|
|
if (e.marker == InsetMath::NO_MARKER)
|
|
|
|
return;
|
|
|
|
|
|
|
|
CoordCache const & coords = pi.base.bv->coordCache();
|
|
|
|
Dimension const dim = coords.getInsets().dim(e.inset);
|
|
|
|
|
|
|
|
// the marker is before/after the inset. Normally some space has been reserved already.
|
|
|
|
int const l = x + e.before - 1;
|
|
|
|
int const r = x + dim.width() - e.after;
|
|
|
|
|
|
|
|
// Duplicated from Inset.cpp and adapted. It is believed that the
|
|
|
|
// Inset version should die eventually
|
|
|
|
ColorCode pen_color = e.inset->mouseHovered(pi.base.bv) || e.inset->editing(pi.base.bv)?
|
|
|
|
Color_mathframe : Color_mathcorners;
|
|
|
|
|
|
|
|
int const d = y + dim.descent();
|
|
|
|
pi.pain.line(l, d - 3, l, d, pen_color);
|
|
|
|
pi.pain.line(r, d - 3, r, d, pen_color);
|
|
|
|
pi.pain.line(l, d, l + 3, d, pen_color);
|
|
|
|
pi.pain.line(r - 3, d, r, d, pen_color);
|
|
|
|
|
|
|
|
if (e.marker == InsetMath::MARKER)
|
|
|
|
return;
|
|
|
|
|
|
|
|
int const a = y - dim.ascent();
|
|
|
|
pi.pain.line(l, a + 3, l, a, pen_color);
|
|
|
|
pi.pain.line(r, a + 3, r, a, pen_color);
|
|
|
|
pi.pain.line(l, a, l + 3, a, pen_color);
|
|
|
|
pi.pain.line(r - 3, a, r, a, pen_color);
|
|
|
|
}
|
|
|
|
|
|
|
|
}
|
|
|
|
|
2016-11-16 14:07:00 +00:00
|
|
|
void MathRow::draw(PainterInfo & pi, int x, int const y) const
|
|
|
|
{
|
|
|
|
CoordCache & coords = pi.base.bv->coordCache();
|
|
|
|
for (Element const & e : elements_) {
|
|
|
|
switch (e.type) {
|
|
|
|
case INSET: {
|
|
|
|
// This is hackish: the math inset does not know that space
|
|
|
|
// has been added before and after it; we alter its dimension
|
|
|
|
// while it is drawing, because it relies on this value.
|
|
|
|
Dimension const d = coords.insets().dim(e.inset);
|
|
|
|
Dimension d2 = d;
|
|
|
|
d2.wid -= e.before + e.after;
|
|
|
|
coords.insets().add(e.inset, d2);
|
|
|
|
e.inset->drawSelection(pi, x + e.before, y);
|
|
|
|
e.inset->draw(pi, x + e.before, y);
|
|
|
|
coords.insets().add(e.inset, x, y);
|
|
|
|
coords.insets().add(e.inset, d);
|
2017-01-06 08:52:10 +00:00
|
|
|
drawMarkers(pi, e, x, y);
|
2016-11-16 14:07:00 +00:00
|
|
|
x += d.wid;
|
|
|
|
break;
|
|
|
|
}
|
|
|
|
case BEG_MACRO:
|
2017-02-01 14:20:06 +00:00
|
|
|
coords.insets().add(e.inset, x, y);
|
2017-01-06 08:52:10 +00:00
|
|
|
drawMarkers(pi, e, x, y);
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->beforeDraw(pi);
|
2017-02-01 10:53:23 +00:00
|
|
|
break;
|
|
|
|
case END_MACRO:
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->afterDraw(pi);
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case BEG_ARG:
|
|
|
|
coords.arrays().add(e.ar, x, y);
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->beforeDraw(pi);
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case END_ARG:
|
2017-02-01 14:20:06 +00:00
|
|
|
e.inset->afterDraw(pi);
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
2016-10-04 22:25:38 +00:00
|
|
|
case BOX: {
|
2017-01-13 09:17:05 +00:00
|
|
|
if (e.color == Color_none)
|
|
|
|
break;
|
2016-10-04 22:25:38 +00:00
|
|
|
Dimension const d = theFontMetrics(pi.base.font).dimension('I');
|
2017-01-13 09:17:05 +00:00
|
|
|
pi.pain.rectangle(x + e.before + 1, y - d.ascent(),
|
|
|
|
d.width() - 1, d.height() - 1, e.color);
|
|
|
|
x += d.wid + 2 + e.before + e.after;
|
2016-10-04 22:25:38 +00:00
|
|
|
break;
|
|
|
|
}
|
2016-12-02 14:58:39 +00:00
|
|
|
case DUMMY:
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (e.compl_text.empty())
|
|
|
|
continue;
|
|
|
|
FontInfo f = pi.base.font;
|
|
|
|
augmentFont(f, "mathnormal");
|
|
|
|
|
|
|
|
// draw the unique and the non-unique completion part
|
|
|
|
// Note: this is not time-critical as it is
|
|
|
|
// only done once per screen.
|
|
|
|
docstring const s1 = e.compl_text.substr(0, e.compl_unique_to);
|
|
|
|
docstring const s2 = e.compl_text.substr(e.compl_unique_to);
|
|
|
|
|
|
|
|
if (!s1.empty()) {
|
|
|
|
f.setColor(Color_inlinecompletion);
|
|
|
|
pi.pain.text(x, y, s1, f);
|
|
|
|
x += mathed_string_width(f, s1);
|
|
|
|
}
|
|
|
|
if (!s2.empty()) {
|
|
|
|
f.setColor(Color_nonunique_inlinecompletion);
|
|
|
|
pi.pain.text(x, y, s2, f);
|
|
|
|
x += mathed_string_width(f, s2);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
int MathRow::kerning(BufferView const * bv) const
|
|
|
|
{
|
|
|
|
if (elements_.empty())
|
|
|
|
return 0;
|
|
|
|
InsetMath const * inset = elements_[before(elements_.size() - 1)].inset;
|
|
|
|
return inset ? inset->kerning(bv) : 0;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
ostream & operator<<(ostream & os, MathRow::Element const & e)
|
|
|
|
{
|
|
|
|
switch (e.type) {
|
2016-12-02 14:58:39 +00:00
|
|
|
case MathRow::DUMMY:
|
|
|
|
os << (e.mclass == MC_OPEN ? "{" : "}");
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case MathRow::INSET:
|
|
|
|
os << "<" << e.before << "-"
|
|
|
|
<< to_utf8(class_to_string(e.mclass))
|
|
|
|
<< "-" << e.after << ">";
|
|
|
|
break;
|
|
|
|
case MathRow::BEG_MACRO:
|
2017-02-01 14:20:06 +00:00
|
|
|
os << "\\" << to_utf8(e.inset->name())
|
|
|
|
<< "^" << e.macro_nesting << "[";
|
2016-11-16 14:07:00 +00:00
|
|
|
break;
|
|
|
|
case MathRow::END_MACRO:
|
|
|
|
os << "]";
|
|
|
|
break;
|
|
|
|
case MathRow::BEG_ARG:
|
|
|
|
os << "#(";
|
|
|
|
break;
|
|
|
|
case MathRow::END_ARG:
|
|
|
|
os << ")";
|
|
|
|
break;
|
2016-10-04 22:25:38 +00:00
|
|
|
case MathRow::BOX:
|
2016-12-02 14:58:39 +00:00
|
|
|
os << "<" << e.before << "-[]-" << e.after << ">";
|
2016-10-04 22:25:38 +00:00
|
|
|
break;
|
2016-11-16 14:07:00 +00:00
|
|
|
}
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
ostream & operator<<(ostream & os, MathRow const & mrow)
|
|
|
|
{
|
|
|
|
for (MathRow::Element const & e : mrow)
|
|
|
|
os << e << " ";
|
|
|
|
return os;
|
|
|
|
}
|
|
|
|
|
|
|
|
} // namespace lyx
|