#include "InsetMathFont.h"
#include "InsetMathSymbol.h"
#include "MathData.h"
+#include "MathFactory.h"
#include "MathParser.h"
#include "MathStream.h"
+#include "Encoding.h"
+#include "LaTeXFeatures.h"
#include "MetricsInfo.h"
#include "frontends/FontLoader.h"
#include "frontends/FontMetrics.h"
#include "frontends/Painter.h"
+#include "support/Changer.h"
#include "support/debug.h"
#include "support/docstream.h"
#include "support/lassert.h"
-#include "support/lyxlib.h"
+#include "support/Length.h"
+#include "support/textutils.h"
#include <map>
#include <algorithm>
/*
* Internal struct of a drawing: code n x1 y1 ... xn yn, where code is:
- * 0 = end, 1 = line, 2 = polyline, 3 = square line, 4 = square polyline
+ * 0 = end, 1 = line, 2 = polyline, 3 = square line, 4 = square polyline,
+ * 5 = ellipse with given center and horizontal and vertical radii,
+ * 6 = shifted square polyline drawn at the other end
*/
2, 13,
0.9930, 0.0071, 0.7324, 0.0578, 0.5141, 0.1126,
0.3380, 0.1714, 0.2183, 0.2333, 0.0634, 0.3621,
- 0.0141, 0.5000, 0.0563, 0.6369, 0.2113, 0.7647,
- 0.3310, 0.8276, 0.5070, 0.8864, 0.7254, 0.9412,
- 0.9930, 0.9919,
+ 0.0141, 0.5000, 0.0634, 0.6379, 0.2183, 0.7667,
+ 0.3380, 0.8286, 0.5141, 0.8874, 0.7324, 0.9422,
+ 0.9930, 0.9929,
+ 0
+};
+
+
+double const breve[] = {
+ 2, 8,
+ 0.100, 0.400, 0.125, 0.550, 0.200, 0.700, 0.400, 0.800,
+ 0.600, 0.800, 0.800, 0.700, 0.875, 0.550, 0.900, 0.400,
0
};
double const lhook[] = {
- 2, 3,
- 0.25, 0.015, 0.05, 0.5, 0.25, 0.985,
- 1, 0.015, 0.475, 0.7, 0.475,
- 2, 5,
- 0.7, 0.015, 0.825, 0.15, 0.985, 0.25,
- 0.825, 0.35, 0.7, 0.475,
+ 4, 7,
+ 1.40, -0.30, 1.10, 0.00, 0.60, 0.35,
+ 0.00, 0.60, 0.60, 0.85, 1.10, 1.20,
+ 1.40, 1.50,
+ 3, 0.05, 0.6, 1.0, 0.6,
+ 6, -0.5, 0.0, 6,
+ 0.65, -0.40, 0.95, -0.35, 1.15, -0.10,
+ 1.15, 0.25, 0.95, 0.50, 0.65, 0.60,
0
};
double const rhook[] = {
- 2, 3,
- 0.75, 0.015, 0.95, 0.5, 0.75, 0.985,
- 1, 0.3, 0.475, 0.985, 0.475,
- 2, 5,
- 0.3, 0.015, 0.175, 0.15, 0.05, 0.25,
- 0.175, 0.35, 0.3, 0.475,
+ 4, 6,
+ 0.50, -0.40, 0.20, -0.35, 0.00, -0.10,
+ 0.00, 0.25, 0.20, 0.50, 0.50, 0.60,
+ 3, 0.55, 0.60, 1.00, 0.60,
+ 6, -0.8, 0.0, 7,
+ 0.00, -0.30, 0.30, 0.00, 0.80, 0.35, 1.40, 0.60,
+ 0.80, 0.85, 0.30, 1.20, 0.00, 1.50,
0
};
double const LRArrow[] = {
- 2, 3,
- 0.25, 0.015, 0.05, 0.5, 0.25, 0.985,
- 2, 3,
- 0.75, 0.015, 0.95, 0.5, 0.75, 0.985,
- 1, 0.2, 0.8, 0.8, 0.8,
- 1, 0.2, 0.2, 0.8, 0.2,
+ 4, 7,
+ 1.300, -0.300, 1.100, 0.000, 0.600, 0.350,
+ 0.000, 0.600, 0.600, 0.850, 1.100, 1.200,
+ 1.300, 1.500,
+ 6, -0.1, 0.0, 7,
+ -0.300, -0.300, -0.100, 0.000, 0.400, 0.350,
+ 1.000, 0.600, 0.400, 0.850, -0.100, 1.200,
+ -0.300, 1.500,
+ 3, 0.85, 1.0, 1.0, 1.0,
+ 3, 0.85, 0.2, 1.0, 0.2,
0
};
double const LArrow[] = {
- 2, 3,
- 0.25, 0.015, 0.05, 0.5, 0.25, 0.985,
- 1, 0.2, 0.8, 0.985, 0.8,
- 1, 0.2, 0.2, 0.985, 0.2,
+ 4, 7,
+ 1.300, -0.300, 1.100, 0.000, 0.600, 0.350,
+ 0.000, 0.600, 0.600, 0.850, 1.100, 1.200,
+ 1.300, 1.500,
+ 3, 0.85, 1.0, 1.0, 1.0,
+ 3, 0.85, 0.2, 1.0, 0.2,
0
};
double const lharpoondown[] = {
- 2, 2,
- 0.015, 0.5, 0.25, 0.985,
- 1, 0.02, 0.475, 0.985, 0.475,
+ 4, 4,
+ 0.0, 0.6, 0.6, 0.85, 1.1, 1.2, 1.4, 1.5,
+ 3, 0.05, 0.6, 1.0, 0.6,
0
};
double const lharpoonup[] = {
- 2, 2,
- 0.25, 0.015, 0.015, 0.5,
- 1, 0.02, 0.525, 0.985, 0.525,
+ 4, 4,
+ 0.0, 0.6, 0.6, 0.35, 1.1, 0.0, 1.4, -0.3,
+ 3, 0.05, 0.6, 1.0, 0.6,
0
};
double const lrharpoons[] = {
- 2, 2,
- 0.25, 0.015, 0.015, 0.225,
- 1, 0.02, 0.23, 0.985, 0.23,
- 2, 2,
- 0.75, 0.985, 0.985, 0.775,
- 1, 0.02, 0.7, 0.980, 0.7,
+ 4, 4,
+ 0.0, 0.6, 0.6, 0.35, 1.1, 0.0, 1.4, -0.3,
+ 3, 0.05, 0.6, 1.0, 0.6,
+ 3, 0.05, 1.2, 1.0, 1.2,
+ 6, -1.0, 0.0, 4,
+ 1.1, 1.3, 0.4, 1.55, -0.1, 1.9, -0.4, 2.2,
0
};
double const rlharpoons[] = {
- 2, 2,
- 0.75, 0.015, 0.985, 0.225,
- 1, 0.02, 0.23, 0.985, 0.23,
- 2, 2,
- 0.25, 0.985, 0.015, 0.775,
- 1, 0.02, 0.7, 0.980, 0.7,
+ 6, -1.0, 0.0, 4,
+ -0.4, -0.4, -0.1, -0.1, 0.4, 0.25, 1.0, 0.5,
+ 3, 0.05, 0.6, 1.0, 0.6,
+ 3, 0.05, 1.2, 1.0, 1.2,
+ 4, 4,
+ 0.0, 1.2, 0.6, 1.45, 1.1, 1.8, 1.4, 2.1,
+ 0
+};
+
+
+double const vec[] = {
+ 4, 7,
+ 0.2000, 0.5000, 0.3000, 0.4000, 0.4000, 0.2500,
+ 0.5000, 0.0000, 0.6000, 0.2500, 0.7000, 0.4000,
+ 0.8000, 0.5000,
+ 3, 0.5000, 0.1000, 0.5000, 0.9500,
0
};
double const arrow[] = {
4, 7,
- 0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
+ 0.0500, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
0.9500, 0.7500,
- 3, 0.5000, 0.1500, 0.5000, 0.9500,
+ 3, 0.5000, 0.1500, 0.5000, 1.0000,
0
};
double const Arrow[] = {
4, 7,
- 0.0150, 0.7500, 0.2000, 0.6000, 0.3500, 0.3500,
- 0.5000, 0.0500, 0.6500, 0.3500, 0.8000, 0.6000,
- 0.9500, 0.7500,
- 3, 0.3500, 0.5000, 0.3500, 0.9500,
- 3, 0.6500, 0.5000, 0.6500, 0.9500,
+ 0.0000, 0.7500, 0.1500, 0.6000, 0.3500, 0.3500,
+ 0.5000, 0.0500, 0.6500, 0.3500, 0.8500, 0.6000,
+ 1.0000, 0.7500,
+ 3, 0.3000, 0.4500, 0.3000, 1.0000,
+ 3, 0.7000, 0.4500, 0.7000, 1.0000,
0
};
double const udarrow[] = {
- 2, 3,
- 0.015, 0.25, 0.5, 0.05, 0.95, 0.25,
- 2, 3,
- 0.015, 0.75, 0.5, 0.95, 0.95, 0.75,
- 1, 0.5, 0.1, 0.5, 0.9,
+ 4, 7,
+ 0.0500, 0.6500, 0.2000, 0.5000, 0.3500, 0.2500,
+ 0.5000, -0.0500, 0.6500, 0.2500, 0.8000, 0.5000,
+ 0.9500, 0.6500,
+ 6, 0.0, -1.0, 7,
+ 0.0500, 0.2500, 0.2000, 0.4000, 0.3500, 0.6500,
+ 0.5000, 0.9500, 0.6500, 0.6500, 0.8000, 0.4000,
+ 0.9500, 0.2500,
+ 3, 0.5, 0.0, 0.5, 1.0,
0
};
double const Udarrow[] = {
- 2, 3,
- 0.015, 0.25, 0.5, 0.05, 0.95, 0.25,
- 2, 3,
- 0.015, 0.75, 0.5, 0.95, 0.95, 0.75,
- 1, 0.35, 0.2, 0.35, 0.8,
- 1, 0.65, 0.2, 0.65, 0.8,
+ 4, 7,
+ 0.0000, 0.7500, 0.1500, 0.6000, 0.3500, 0.3500,
+ 0.5000, 0.0500, 0.6500, 0.3500, 0.8500, 0.6000,
+ 1.0000, 0.7500,
+ 6, 0.0, -1.0, 7,
+ 0.0000, 0.2500, 0.1500, 0.4000, 0.3500, 0.6500,
+ 0.5000, 0.9500, 0.6500, 0.6500, 0.8500, 0.4000,
+ 1.0000, 0.2500,
+ 3, 0.3000, 0.4500, 0.3000, 0.9500,
+ 3, 0.7000, 0.4500, 0.7000, 0.9500,
0
};
double const angle[] = {
2, 3,
- 1, 0, 0.05, 0.5, 1, 1,
+ 0.9, 0.05, 0.05, 0.5, 0.9, 0.95,
0
};
};
+double const dot[] = {
+ 5, 0.5, 0.5, 0.1, 0.1,
+ 0
+};
+
+
double const ddot[] = {
- 1, 0.2, 0.5, 0.3, 0.5,
- 1, 0.7, 0.5, 0.8, 0.5,
+ 5, 0.2, 0.5, 0.1, 0.1,
+ 5, 0.7, 0.5, 0.1, 0.1,
0
};
double const dddot[] = {
- 1, 0.1, 0.5, 0.2, 0.5,
- 1, 0.45, 0.5, 0.55, 0.5,
- 1, 0.8, 0.5, 0.9, 0.5,
+ 5, 0.1, 0.5, 0.1, 0.1,
+ 5, 0.5, 0.5, 0.1, 0.1,
+ 5, 0.9, 0.5, 0.1, 0.1,
0
};
double const ddddot[] = {
- 1, 0.1, 0.5, 0.2, 0.5,
- 1, 0.45, 0.5, 0.55, 0.5,
- 1, 0.8, 0.5, 0.9, 0.5,
- 1, 1.15, 0.5, 1.25, 0.5,
+ 5, -0.1, 0.5, 0.1, 0.1,
+ 5, 0.3, 0.5, 0.1, 0.1,
+ 5, 0.7, 0.5, 0.1, 0.1,
+ 5, 1.1, 0.5, 0.1, 0.1,
0
};
double const hline3[] = {
- 1, 0.1, 0, 0.15, 0,
- 1, 0.475, 0, 0.525, 0,
- 1, 0.85, 0, 0.9, 0,
+ 5, 0.15, 0.0, 0.0625, 0.0625,
+ 5, 0.50, 0.0, 0.0625, 0.0625,
+ 5, 0.85, 0.0, 0.0625, 0.0625,
0
};
double const dline3[] = {
- 1, 0.1, 0.1, 0.15, 0.15,
- 1, 0.475, 0.475, 0.525, 0.525,
- 1, 0.85, 0.85, 0.9, 0.9,
- 0
-};
-
-
-double const hlinesmall[] = {
- 1, 0.4, 0.5, 0.6, 0.5,
+ 5, 0.25, 0.225, 0.0625, 0.0625,
+ 5, 0.50, 0.475, 0.0625, 0.0625,
+ 5, 0.75, 0.725, 0.0625, 0.0625,
0
};
double const ring[] = {
- 2, 5,
- 0.5, 0.8, 0.8, 0.5, 0.5, 0.2, 0.2, 0.5, 0.5, 0.8,
+ 2, 13,
+ 0.5000, 0.7750, 0.6375, 0.7375, 0.7375, 0.6375, 0.7750, 0.5000,
+ 0.7375, 0.3625, 0.6375, 0.2625, 0.5000, 0.2250, 0.3625, 0.2625,
+ 0.2625, 0.3625, 0.2250, 0.5000, 0.2625, 0.6375, 0.3625, 0.7375,
+ 0.5000, 0.7750,
0
};
double const tilde[] = {
- 2, 4,
- 0.00, 0.8, 0.25, 0.2, 0.75, 0.8, 1.00, 0.2,
+ 2, 10,
+ 0.000, 0.625, 0.050, 0.500, 0.150, 0.350, 0.275, 0.275, 0.400, 0.350,
+ 0.575, 0.650, 0.700, 0.725, 0.825, 0.650, 0.925, 0.500, 0.975, 0.375,
0
};
{"acute", slash, 0 },
{"tilde", tilde, 0 },
{"bar", hline, 0 },
- {"dot", hlinesmall, 0 },
+ {"dot", dot, 0 },
{"check", angle, 1 },
- {"breve", parenth, 1 },
- {"vec", arrow, 3 },
+ {"breve", breve, 0 },
+ {"vec", vec, 3 },
{"mathring", ring, 0 },
// Dots
}
};
-static init_deco_table dummy;
+static init_deco_table dummy_deco_table;
deco_struct const * search_deco(docstring const & name)
}
-} // namespace anon
+} // namespace
int mathed_font_em(FontInfo const & font)
return theFontMetrics(font).em();
}
+
+int mathed_font_x_height(FontInfo const & font)
+{
+ return theFontMetrics(font).xHeight();
+}
+
/* The math units. Quoting TeX by Topic, p.205:
*
* Spacing around mathematical objects is measured in mu units. A mu
* punctuation, and is put around inner objects, except where these
* are followed by a close or preceded by an open symbol, and except
* if the other object is a large operator or a binary relation.
+ *
+ * See the file MathClass.cpp for a formal implementation of the rules
+ * above.
*/
-int mathed_thinmuskip(FontInfo font)
+int mathed_mu(FontInfo const & font, double mu)
{
- font.setFamily(SYMBOL_FAMILY);
- return support::iround(3.0 / 18 * theFontMetrics(font).em());
+ MetricsBase mb(nullptr, font);
+ return mb.inPixels(Length(mu, Length::MU));
}
-
-int mathed_medmuskip(FontInfo font)
-{
- font.setFamily(SYMBOL_FAMILY);
- return support::iround(4.0 / 18 * theFontMetrics(font).em());
-}
-
-
-int mathed_thickmuskip(FontInfo font)
-{
- font.setFamily(SYMBOL_FAMILY);
- return support::iround(5.0 / 18 * theFontMetrics(font).em());
-}
+int mathed_thinmuskip(FontInfo const & font) { return mathed_mu(font, 3.0); }
+int mathed_medmuskip(FontInfo const & font) { return mathed_mu(font, 4.0); }
+int mathed_thickmuskip(FontInfo const & font) { return mathed_mu(font, 5.0); }
int mathed_char_width(FontInfo const & font, char_type c)
int mathed_char_kerning(FontInfo const & font, char_type c)
{
frontend::FontMetrics const & fm = theFontMetrics(font);
- return fm.rbearing(c) - fm.width(c);
+ return max(0, fm.rbearing(c) - fm.width(c));
+}
+
+
+double mathed_char_slope(MetricsBase const & mb, char_type c)
+{
+ bool slanted = isAlphaASCII(c) || Encodings::isMathAlpha(c);
+ if (slanted && mb.fontname == "mathnormal")
+ return theFontMetrics(mb.font).italicSlope();
+ return 0.0;
}
frontend::FontMetrics const & fm = theFontMetrics(font);
dim.asc = 0;
dim.des = 0;
- for (docstring::const_iterator it = s.begin();
- it != s.end();
- ++it) {
- dim.asc = max(dim.asc, fm.ascent(*it));
- dim.des = max(dim.des, fm.descent(*it));
+ for (char_type const c : s) {
+ dim.asc = max(dim.asc, fm.ascent(c));
+ dim.des = max(dim.des, fm.descent(c));
}
dim.wid = fm.width(s);
}
void mathed_draw_deco(PainterInfo & pi, int x, int y, int w, int h,
docstring const & name)
{
+ int const lw = pi.base.solidLineThickness();
+
if (name == ".") {
pi.pain.line(x + w/2, y, x + w/2, y + h,
- Color_cursor, Painter::line_onoffdash);
+ Color_cursor, Painter::line_onoffdash, lw);
return;
}
for (int i = 0; d[i]; ) {
int code = int(d[i++]);
- if (code & 1) { // code == 1 || code == 3
+ if (code == 1 || code == 3) {
double xx = d[i++];
double yy = d[i++];
double x2 = d[i++];
pi.pain.line(
int(x + xx + 0.5), int(y + yy + 0.5),
int(x + x2 + 0.5), int(y + y2 + 0.5),
- pi.base.font.color());
+ pi.base.font.color(), Painter::line_solid, lw);
+ } else if (code == 5) {
+ double xx = d[i++];
+ double yy = d[i++];
+ double x2 = xx + d[i++];
+ double y2 = yy + d[i++];
+ mt.transform(xx, yy);
+ mt.transform(x2, y2);
+ double const xc = x + xx;
+ double const yc = y + yy;
+ double const rx = x2 - xx;
+ double const ry = y2 - yy;
+ pi.pain.ellipse(xc, yc, rx, ry,
+ pi.base.font.color(), Painter::fill_winding);
} else {
int xp[32];
int yp[32];
- int const n = int(d[i++]);
- for (int j = 0; j < n; ++j) {
- double xx = d[i++];
- double yy = d[i++];
+ double xshift = (code == 6 ? d[i++] : 0.0);
+ double yshift = (code == 6 ? d[i++] : 0.0);
+ int const n2 = int(d[i++]);
+ for (int j = 0; j < n2; ++j) {
+ double xx = d[i++] + xshift;
+ double yy = d[i++] + yshift;
// lyxerr << ' ' << xx << ' ' << yy << ' ';
- if (code == 4)
+ if (code == 4 || code == 6) {
sqmt.transform(xx, yy);
- else
+ if (code == 6) {
+ if (r == 0 && xshift == 0.0)
+ yy += h;
+ else
+ xx += w;
+ }
+ } else
mt.transform(xx, yy);
xp[j] = int(x + xx + 0.5);
yp[j] = int(y + yy + 0.5);
// lyxerr << "P[" << j ' ' << xx << ' ' << yy << ' ' << x << ' ' << y << ']';
}
- pi.pain.lines(xp, yp, n, pi.base.font.color());
+ pi.pain.lines(xp, yp, n2, pi.base.font.color(),
+ Painter::fill_none, Painter::line_solid, lw);
}
}
}
-void mathedSymbolDim(MetricsInfo & mi, Dimension & dim, latexkeys const * sym)
+docstring const & mathedSymbol(MetricsBase & mb, latexkeys const * sym)
{
- LASSERT((bool)sym, return);
+ return (mb.font.style() == DISPLAY_STYLE && !sym->dsp_draw.empty()) ?
+ sym->dsp_draw : sym->draw;
+}
+
+
+int mathedSymbolDim(MetricsBase & mb, Dimension & dim, latexkeys const * sym)
+{
+ LASSERT((bool)sym, return 0);
//lyxerr << "metrics: symbol: '" << sym->name
// << "' in font: '" << sym->inset
// << "' drawn as: '" << sym->draw
bool const italic_upcase_greek = sym->inset == "cmr" &&
sym->extra == "mathalpha" &&
- mi.base.fontname == "mathit";
+ mb.fontname == "mathit";
std::string const font = italic_upcase_greek ? "cmm" : sym->inset;
- Changer dummy = mi.base.changeFontSet(font);
- mathed_string_dim(mi.base.font, sym->draw, dim);
+ bool const change_font = font != "cmr" ||
+ (mb.fontname != "mathbb" &&
+ mb.fontname != "mathds" &&
+ mb.fontname != "mathfrak" &&
+ mb.fontname != "mathcal" &&
+ mb.fontname != "mathscr");
+ Changer dummy = change_font ? mb.changeFontSet(font) : noChange();
+ mathed_string_dim(mb.font, mathedSymbol(mb, sym), dim);
+ return mathed_char_kerning(mb.font, mathedSymbol(mb, sym).back());
}
// << "' drawn as: '" << sym->draw
// << "'" << endl;
- bool const italic_upcase_greek = sym->inset == "cmr" &&
- sym->extra == "mathalpha" &&
- pi.base.fontname == "mathit";
+ bool const upcase_greek =
+ sym->inset == "cmr" && sym->extra == "mathalpha";
+ bool const bold_upcase_greek =
+ upcase_greek && pi.base.fontname == "mathbf";
+ bool const italic_upcase_greek =
+ upcase_greek && pi.base.fontname == "mathit";
std::string const font = italic_upcase_greek ? "cmm" : sym->inset;
-
- Changer dummy = pi.base.changeFontSet(font);
- pi.draw(x, y, sym->draw);
+ bool const change_font = font != "cmr" ||
+ (pi.base.fontname != "mathbb" &&
+ pi.base.fontname != "mathds" &&
+ pi.base.fontname != "mathfrak" &&
+ pi.base.fontname != "mathcal" &&
+ pi.base.fontname != "mathscr");
+ Changer dummy = change_font ? pi.base.changeFontSet(font) : noChange();
+ pi.draw(x, y, mathedSymbol(pi.base, sym));
+ if (bold_upcase_greek)
+ pi.draw(x + 1, y, mathedSymbol(pi.base, sym));
}
inh_shape, Color_math},
{"mathbb", MSB_FAMILY, inh_series,
inh_shape, Color_math},
+ {"mathds", DS_FAMILY, inh_series,
+ inh_shape, Color_math},
{"mathtt", TYPEWRITER_FAMILY, inh_series,
inh_shape, Color_math},
{"mathit", inh_family, inh_series,
{
odocstringstream os;
otexrowstream ots(os);
- WriteStream ws(ots);
+ TeXMathStream ws(ots);
ws << ar;
return os.str();
}
void asArray(docstring const & str, MathData & ar, Parse::flags pf)
{
+ // If the QUIET flag is set, we are going to parse for either
+ // a paste operation or a macro definition. We try to do the
+ // right thing in all cases.
+
bool quiet = pf & Parse::QUIET;
- if ((str.size() == 1 && quiet) || (!mathed_parse_cell(ar, str, pf) && quiet))
+ bool macro = pf & Parse::MACRODEF;
+ if ((str.size() == 1 && quiet) || (!mathed_parse_cell(ar, str, pf) && quiet && !macro))
mathed_parse_cell(ar, str, pf | Parse::VERBATIM);
}
{
odocstringstream os;
otexrowstream ots(os);
- WriteStream ws(ots);
+ TeXMathStream ws(ots);
inset.write(ws);
return os.str();
}
{
odocstringstream os;
otexrowstream ots(os);
- WriteStream ws(ots);
+ TeXMathStream ws(ots);
at->write(ws);
return os.str();
}
+int axis_height(MetricsBase & mb)
+{
+ Changer dummy = mb.changeFontSet("mathnormal");
+ return theFontMetrics(mb.font).ascent('-') - 1;
+}
+
+
+void validate_math_word(LaTeXFeatures & features, docstring const & word)
+{
+ MathWordList const & words = mathedWordList();
+ MathWordList::const_iterator it = words.find(word);
+ if (it != words.end()) {
+ string const req = it->second.required;
+ if (!req.empty())
+ features.require(req);
+ }
+}
+
+
} // namespace lyx