}
+InsetLayout const & Inset::getLayout() const
+{
+ if (!buffer_)
+ return DocumentClass::plainInsetLayout();
+ return buffer().params().documentClass().insetLayout(layoutName());
+}
+
+
+bool Inset::isPassThru() const
+{
+ return getLayout().isPassThru();
+}
+
+
bool Inset::isFreeSpacing() const
{
return getLayout().isFreeSpacing();
}
+FontInfo Inset::getFont() const
+{
+ return getLayout().font();
+}
+
+
+FontInfo Inset::getLabelfont() const
+{
+ return getLayout().labelfont();
+}
+
+
docstring Inset::toolTip(BufferView const &, int, int) const
{
return docstring();
cur.screenUpdateFlags(Update::Force | Update::FitCursor);
cur.dispatched();
doDispatch(cur, cmd);
+ if (cmd.origin() == FuncRequest::TOC)
+ cur.bv().processUpdateFlags(cur.result().screenUpdate());
}
bool Inset::editing(BufferView const * bv) const
{
- return bv->cursor().isInside(this);
+ if (bv->mouseSelecting())
+ // Avoid flicker when selecting with the mouse: when so, do not make
+ // decisions about metrics based on the mouse location.
+ return bv->cursor().realAnchor().isInside(this);
+ else
+ return bv->cursor().isInside(this);
}
}
-InsetLayout const & Inset::getLayout() const
-{
- if (!buffer_)
- return DocumentClass::plainInsetLayout();
- return buffer().params().documentClass().insetLayout(layoutName());
-}
-
-
-bool Inset::isPassThru() const
-{
- return getLayout().isPassThru();
-}
-
-
bool Inset::undefined() const
{
docstring const & n = getLayout().name();