counter_map[eqstr] = cnts.value(eqstr);
for (size_t i = 0; i != label_.size(); ++i) {
if (numbered(i)) {
- cnts.step(eqstr, utype);
- numbers_[i] = cnts.theCounter(eqstr, lang);
+ Paragraph const & par = it.paragraph();
+ if (!par.isDeleted(it.pos())) {
+ cnts.step(eqstr, utype);
+ numbers_[i] = cnts.theCounter(eqstr, lang);
+ } else
+ numbers_[i] = from_ascii("#");
} else
numbers_[i] = empty_docstring();
}
}
-bool InsetMathHull::idxFirst(Cursor & cur) const
-{
- cur.idx() = 0;
- cur.pos() = 0;
- return true;
-}
-
-
-bool InsetMathHull::idxLast(Cursor & cur) const
-{
- cur.idx() = nargs() - 1;
- cur.pos() = cur.lastpos();
- return true;
-}
-
-
// FIXME: InsetMathGrid should be changed to let the real column alignment be
// given by a virtual method like displayColAlign, because the values produced
// by defaultColAlign can be invalidated by lfuns such as add-column. For the
// alignment is not implemented in the LyXHTML output.
char InsetMathHull::defaultColAlign(col_type col)
{
- return colAlign(type_, col);
+ return colAlign(type_, col, buffer().params());
}
case hullXAlignAt:
case hullXXAlignAt:
case hullFlAlign:
- return colAlign(type_, col(idx));
+ return colAlign(type_, col(idx), buffer().params());
default:
break;
}
namespace {
-static const int ERROR_FRAME_WIDTH = 2;
+const int ERROR_FRAME_WIDTH = 2;
+
+bool previewTooSmall(MetricsBase const & mb, Dimension const & dim)
+{
+ // Value was hardcoded to 10 pixels
+ int const minval = mb.bv->zoomedPixels(10);
+ return dim.width() <= minval && dim.height() <= minval;
}
+}
+
void InsetMathHull::metrics(MetricsInfo & mi, Dimension & dim) const
{
+ // true value in LaTeX is 12pt plus 3pt minus 9pt
+ // FIXME: even better would be to handle the short skip case.
+ int const display_margin = display() ? mi.base.inPixels(Length(12, Length::PT)) : 0;
+
if (previewState(mi.base.bv)) {
preview_->metrics(mi, dim);
- if (previewTooSmall(dim)) {
+ if (previewTooSmall(mi.base, dim)) {
// preview image is too small
dim.wid += 2 * ERROR_FRAME_WIDTH;
dim.asc += 2 * ERROR_FRAME_WIDTH;
} else {
- // insert a one pixel gap in front of the formula
- dim.wid += 1;
- if (display())
- dim.des += displayMargin();
+ // insert a gap in front of the formula
+ // value was hardcoded to 1 pixel
+ dim.wid += mi.base.bv->zoomedPixels(1) ;
+ if (display()) {
+ dim.asc += display_margin;
+ dim.des += display_margin;
+ }
}
return;
}
InsetMathGrid::metrics(mi, dim);
if (display()) {
- dim.asc += displayMargin();
- dim.des += displayMargin();
+ dim.asc += display_margin;
+ dim.des += display_margin;
}
if (numberedType()) {
if (l)
// Value was hardcoded to 30 pixels
- dim.wid += Length(0.3, Length::IN).inPixels(mi.base) + l;
+ dim.wid += mi.base.bv->zoomedPixels(30) + l;
}
// reserve some space for marker.
dim.wid += 2;
-
- // make it at least as high as the current font
- int asc = 0;
- int des = 0;
- math_font_max_dim(mi.base.font, asc, des);
- dim.asc = max(dim.asc, asc);
- dim.des = max(dim.des, des);
-}
-
-
-bool InsetMathHull::previewTooSmall(Dimension const & dim) const
-{
- return dim.width() <= 10 && dim.height() <= 10;
}
BufferView const * const bv = pi.base.bv;
if (previewState(bv)) {
Dimension const dim = dimension(*pi.base.bv);
- if (previewTooSmall(dim))
+ if (previewTooSmall(pi.base, dim))
return Color_error;
return graphics::PreviewLoader::backgroundColor();
}
}
+void InsetMathHull::drawMarkers(PainterInfo & pi, int x, int y) const
+{
+ ColorCode pen_color = mouseHovered(pi.base.bv) || editing(pi.base.bv)?
+ Color_mathframe : Color_mathcorners;
+ // If the corners have the same color as the background, do not paint them.
+ if (lcolor.getX11Name(Color_mathbg) == lcolor.getX11Name(pen_color))
+ return;
+
+ Inset::drawMarkers(pi, x, y);
+ Dimension const dim = dimension(*pi.base.bv);
+ int const t = x + dim.width() - 1;
+ int const a = y - dim.ascent();
+ pi.pain.line(x, a + 3, x, a, pen_color);
+ pi.pain.line(t, a + 3, t, a, pen_color);
+ pi.pain.line(x, a, x + 3, a, pen_color);
+ pi.pain.line(t - 3, a, t, a, pen_color);
+}
+
+
void InsetMathHull::drawBackground(PainterInfo & pi, int x, int y) const
{
Dimension const dim = dimension(*pi.base.bv);
- if (previewTooSmall(dim)) {
+ if (previewTooSmall(pi.base, dim)) {
pi.pain.fillRectangle(x, y - 2 * ERROR_FRAME_WIDTH,
dim.wid, dim.asc + dim.des, backgroundColor(pi));
return;
// already.
Changer dummy = !canPaintChange(*bv) ? make_change(pi.change_, Change())
: Changer();
- if (previewTooSmall(dim)) {
+ if (previewTooSmall(pi.base, dim)) {
// we have an extra frame
preview_->draw(pi, x + ERROR_FRAME_WIDTH, y);
} else {
// one pixel gap in front
- preview_->draw(pi, x + 1, y);
+ // value was hardcoded to 1 pixel
+ int const gap = pi.base.bv->zoomedPixels(1) ;
+ preview_->draw(pi, x + gap, y);
}
return;
}
if (l)
// Value was hardcoded to 30 pixels
- xmath += Length(0.3, Length::IN).inPixels(pi.base) + l;
+ xmath += pi.base.bv->zoomedPixels(30) + l;
}
InsetMathGrid::draw(pi, xmath + 1, y);
- drawMarkers2(pi, x, y);
+ drawMarkers(pi, x, y);
if (numberedType()) {
Changer dummy = pi.base.changeFontSet("mathrm");
void InsetMathHull::doExtern(Cursor & cur, FuncRequest & func)
{
- docstring dlang;
- docstring extra;
- idocstringstream iss(func.argument());
- iss >> dlang >> extra;
+ //FIXME: sort out whether we want std::string or docstring for those
+ string const lang = func.getArg(0);
+ docstring extra = from_utf8(func.getArg(1));
if (extra.empty())
extra = from_ascii("noextra");
- string const lang = to_ascii(dlang);
// replace selection with result of computation
if (reduceSelectionToOneCell(cur)) {
font.fromString(to_utf8(arg), b);
if (font.fontInfo().color() != Color_inherit) {
MathAtom at = MathAtom(new InsetMathColor(buffer_, true, font.fontInfo().color()));
- cur.handleNest(at, 0);
+ cur.handleNest(at);
}
}
void InsetMathHull::edit(Cursor & cur, bool front, EntryDirection entry_from)
{
- cur.push(*this);
- bool enter_front = (entry_from == Inset::ENTRY_DIRECTION_LEFT ||
- (entry_from == Inset::ENTRY_DIRECTION_IGNORE && front));
- enter_front ? idxFirst(cur) : idxLast(cur);
+ InsetMathNest::edit(cur, front, entry_from);
// The inset formula dimension is not necessarily the same as the
// one of the instant preview image, so we have to indicate to the
// BufferView that a metrics update is needed.