From 83afe8aa1961611d340142564894e3ce8f7a541d Mon Sep 17 00:00:00 2001 From: Richard Kimberly Heck Date: Thu, 11 Jul 2019 16:20:03 -0400 Subject: [PATCH] Shorten labels. --- src/insets/InsetInclude.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/insets/InsetInclude.cpp b/src/insets/InsetInclude.cpp index 530adfcf41..e99645d8d6 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()) -- 2.39.2