Fix force flag for multiple encodings

A comma cannot be used as delimiter, since it is already the flag delimiter.
This commit is contained in:
Georg Baum 2013-02-17 10:19:58 +01:00
parent 798f104f99
commit c0395333b2
2 changed files with 2 additions and 2 deletions

View File

@ -36,7 +36,7 @@
# Known flags:
# - combining This is a combining char that will get combined with a base char
# - force Always output replacement command
# - force=enc1,enc2... Always output replacement command in the specified encodings.
# - force=enc1;enc2... Always output replacement command in the specified encodings.
# - mathalpha This character is considered as a math variable in mathmode
# - notermination=text Do not terminate this textcommand (by {} or space).
# This is set by default if textcommand ends with }.

View File

@ -943,7 +943,7 @@ void Encodings::read(FileName const & encfile, FileName const & symbolsfile)
forced.insert(symbol);
} else if (prefixIs(flag, "force=")) {
vector<string> encodings =
getVectorFromString(flag.substr(6));
getVectorFromString(flag.substr(6), ";");
for (size_t i = 0; i < encodings.size(); ++i)
forcedselected[encodings[i]].insert(symbol);
info.flags |= CharInfoForceSelected;