From afb918bf789f28d32dbf14340582dc8e9a2654d0 Mon Sep 17 00:00:00 2001 From: Pavel Sanda Date: Tue, 13 Jun 2023 10:07:56 +0200 Subject: [PATCH] Fix for #12681. Number Paste Recent menus entries as in toolbar. Slightly improved patch from Daniel Ramoeller. --- src/frontends/qt/Menus.cpp | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/src/frontends/qt/Menus.cpp b/src/frontends/qt/Menus.cpp index 5ea7133665..71d8d51f04 100644 --- a/src/frontends/qt/Menus.cpp +++ b/src/frontends/qt/Menus.cpp @@ -1420,8 +1420,11 @@ void MenuDefinition::expandPasteRecent(Buffer const * buf) docstring_list::const_iterator end = sel.end(); for (unsigned int index = 0; cit != end; ++cit, ++index) { - add(MenuItem(MenuItem::Command, toqstr(*cit) + '|', - FuncRequest(LFUN_PASTE, convert(index)))); + docstring const i = convert(index); + docstring const s = *cit; + docstring const lb = i + from_ascii(". ") + s + "|" + i; + add(MenuItem(MenuItem::Command, toqstr(lb), + FuncRequest(LFUN_PASTE, i))); } }