Preserve star on citation style change via menu

Fixes: #11439
This commit is contained in:
Juergen Spitzmueller 2019-07-09 10:47:18 +02:00
parent 88c1aaf444
commit 52fffee7f2

View File

@ -1594,9 +1594,8 @@ void MenuDefinition::expandCiteStyles(BufferView const * bv)
return; return;
} }
size_t const n = cmd.size();
bool const force = isUpperCase(cmd[0]); bool const force = isUpperCase(cmd[0]);
bool const star = cmd[n] == '*'; bool const star = suffixIs(cmd, '*');
vector<docstring> const keys = getVectorFromString(key); vector<docstring> const keys = getVectorFromString(key);