Fix bug #12337. Reorder plural and caps indicators.

This commit is contained in:
Richard Kimberly Heck 2023-07-28 12:10:21 -04:00
parent ae5b4367d1
commit 5164b2853e

View File

@ -487,11 +487,11 @@ void InsetRef::updateBuffer(ParIterator const & it, UpdateType, bool const /*del
if (cmd == "formatted") { if (cmd == "formatted") {
bool const isPlural = getParam("plural") == "true"; bool const isPlural = getParam("plural") == "true";
bool const isCaps = getParam("caps") == "true"; bool const isCaps = getParam("caps") == "true";
if (isPlural)
label += from_ascii("+");
if (isCaps) { if (isCaps) {
// up arrow (shift key) symbol // up arrow (shift key) symbol
label += docstring(1, char_type(0x21E7)); label += docstring(1, char_type(0x21E7));
if (isPlural)
label += from_ascii("+");
} }
} }
label += from_ascii(": "); label += from_ascii(": ");