Display index name in the label of InsetIndex?

[Bo Peng]

Can I make the label of InsetIndex more meaningful by displaying
'Idx:name' instead of 'Idx'?

A simple patch is attached. I will commit it if there is no objection
in one day.

Bo

Index: src/insets/InsetIndex.cpp
===================================================================
--- src/insets/InsetIndex.cpp	(revision 20301)
+++ src/insets/InsetIndex.cpp	(working copy)
@@ -39,7 +39,14 @@
 
 docstring const InsetIndex::getScreenLabel(Buffer const &) const
 {
-	return _("Idx");
+	unsigned int const maxLabelChars = 45;
+
+	docstring label = "Idx:" + getParam("name");
+	if (label.size() > maxLabelChars) {
+		label.erase(maxLabelChars-3);
+		label += "...";
+	}
+	return label;
 }