commit 83afe8aa1961611d340142564894e3ce8f7a541d
Author: Richard Kimberly Heck <[email protected]>
Date: Thu Jul 11 16:20:03 2019 -0400
Shorten labels.
---
src/insets/InsetInclude.cpp | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp
index 530adfc..e99645d 100755
--- 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())
