Actually, creating a patch is easier than putting it through, at least
in this case.
Index: src/mathed/InsetMathHull.cpp
===================================================================
--- src/mathed/InsetMathHull.cpp (revision 18740)
+++ src/mathed/InsetMathHull.cpp (working copy)
@@ -335,7 +335,7 @@
void InsetMathHull::draw(PainterInfo & pi, int x, int y) const
{
- use_preview_ = previewState(pi.base.bv);
+ use_preview_ = previewState(pi.base.bv) && !mouseHovered();
Jose,
Can this go in? If mathhover is not going to be reverted, this makes sense.
Bo