Prettify the tooltip for footnotes.

diff --git a/src/insets/InsetFoot.cpp b/src/insets/InsetFoot.cpp
index 39a1fd7eea05538d18c3cff92e214541fe6678b1..372bfabe39330b2028ed23fe21cf1f6ef44e3d90 100644 (file)
--- 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_+ ": ");
 }