From 460c80f851c1a8b7c9734439a608be253bbfa9ef Mon Sep 17 00:00:00 2001 From: Richard Heck Date: Tue, 26 Nov 2013 10:08:35 -0500 Subject: [PATCH] Prettify the tooltip for footnotes. --- src/insets/InsetFoot.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/insets/InsetFoot.cpp b/src/insets/InsetFoot.cpp index 39a1fd7eea..372bfabe39 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_+ ": "); } -- 2.39.2