Shorten labels.

This commit is contained in:
Richard Kimberly Heck 2019-07-11 16:20:03 -04:00
parent 41a705b055
commit 83afe8aa19

View File

@ -410,10 +410,10 @@ docstring InsetInclude::screenLabel() const
temp = buffer().B_("Input");
break;
case VERB:
temp = buffer().B_("Verbatim Input");
temp = buffer().B_("Verbatim");
break;
case VERBAST:
temp = buffer().B_("Verbatim Input*");
temp = buffer().B_("Verbatim*");
break;
case INCLUDE:
if (isChildIncluded())