Prettify the tooltip for footnotes.

This commit is contained in:
Richard Heck 2013-11-26 10:08:35 -05:00
parent 7a1a0230dc
commit 460c80f851

View File

@ -80,7 +80,7 @@ docstring InsetFoot::toolTip(BufferView const & bv, int x, int y) const
if (isOpen(bv))
// this will give us something useful if there is no button
return InsetCollapsable::toolTip(bv, x, y);
return toolTipText(custom_label_);
return toolTipText(custom_label_+ ": ");
}