}
-bool InsetExternal::setMouseHover(BufferView const * bv, bool mouse_hover)
+bool InsetExternal::setMouseHover(BufferView const * bv, bool mouse_hover) const
{
mouse_hover_[bv] = mouse_hover;
return true;
return;
RenderMonitoredPreview * const ptr = renderer_->asMonitoredPreview();
- LASSERT(ptr, /**/);
+ LASSERT(ptr, return);
ptr->removePreview(*buffer);
add_preview_and_start_loading(*ptr, *this, *buffer);
}
-int InsetExternal::plaintext(odocstream & os,
- OutputParams const & runparams) const
+int InsetExternal::plaintext(odocstringstream & os,
+ OutputParams const & runparams, size_t) const
{
+ // this is too slow for constant use
+ if (runparams.for_tooltip)
+ return 0;
+
os << '\n'; // output external material on a new line
external::writeExternal(params_, "Ascii", buffer(), os,
*(runparams.exportdata), false,