commit 460c80f851c1a8b7c9734439a608be253bbfa9ef
Author: Richard Heck <[email protected]>
Date: Tue Nov 26 10:08:35 2013 -0500
Prettify the tooltip for footnotes.
diff --git a/src/insets/InsetFoot.cpp b/src/insets/InsetFoot.cpp
index 39a1fd7..372bfab 100644
--- a/src/insets/InsetFoot.cpp
+++ b/src/insets/InsetFoot.cpp
@@ -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_+ ": ");
}