Re: [PATCH] Hover over mathed show mathed corners.

[Bo Peng]

I deem that this will be more acceptable than my previous patch.

I was wrong so this is now http://bugzilla.lyx.org/show_bug.cgi?id=3825 .

Cheers,
Bo