Shorten labels.

diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index 530adfcf416087349ccc407edbc47fd78750763d..e99645d8d68b225f2bf2731fec226d784a01e7f4 100755 (executable)
--- a/src/insets/InsetInclude.cpp
+++ b/src/insets/InsetInclude.cpp
@@ -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())