paintBackground();
// paint the selection background
- if (bv_.cursor().selection() && &text_ == bv_.cursor().innerText())
- paintSelection();
+#warning look here for selection
+ //if (bv_.cursor().selection() && &text_ == bv_.cursor().innerText())
+ // paintSelection();
// vertical lines for appendix
paintAppendix();
void RowPainter::paintInset(pos_type const pos)
{
- InsetBase * inset = const_cast<InsetBase *>(pit_->getInset(pos));
+ InsetBase const * inset = pit_->getInset(pos);
BOOST_ASSERT(inset);
PainterInfo pi(const_cast<BufferView *>(&bv_));
pi.base.font = getFont(pos);
+ inset->drawSelection(pi, int(x_), yo_ + row_.baseline());
inset->draw(pi, int(x_), yo_ + row_.baseline());
x_ += inset->width();
}