Jürgen Spitzmüller wrote:
Abdelrazak Younes wrote:
No, the problem lies is when we insert the symbols from the
unicodesymbols file. For utf8, we shouldn't do that because _all_
symbols are already in there. On each insertion, std::set() has to
search if the given symbols is not already present; as you have 1114112
symbols...
Try and see what happens if you bypass the unicodesymbols part if
star_encodable_ == ucs4_max.
I saw in the UserGuide that only "utf8-plain" should never make use of
the 'unicodesymbols' file; is that what you mean?
Abdel.
