Changeset d0bf7c in git for factory

Timestamp:

May 19, 2014, 10:13:34 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

7c2bdefaa572b42f1b4fd71b49c06cd73a08a63b

Parents:

3fd99f1ef182e52f43363a36554eca85c58a67b8

git-author:

Martin Lee <martinlee84@web.de>2014-05-19 22:13:34+02:00

git-committer:

Martin Lee <martinlee84@web.de>2014-05-21 15:06:57+02:00

Message:

chg: use charSetN in some cases

File:

• factory/cfCharSets.cc (modified) (1 diff)

factory/cfCharSets.cc

@@ -613 +613 @@
 
     StoreFactors StoredFactors;
-    cs= modCharSet (qs, StoredFactors, false);
+    if (qs.length() - 3 < highestlevel)
+      cs= modCharSet (qs, StoredFactors, false);
+    else
+      cs= charSetN (qs);
     cs= removeContent (cs, StoredFactors);