| changeset 8987 | 80d22b9c2a0c |
| parent 8445 | 54a5d84d1d7d |
| child 9648 | c79160082c0f |
| 8986:72ee588f7d56 | 8987:80d22b9c2a0c |
|---|---|
76 bool operator()(StringID s1, StringID s2) const { return StringIDSorter(&s1, &s2) < 0; } |
76 bool operator()(StringID s1, StringID s2) const { return StringIDSorter(&s1, &s2) < 0; } |
77 }; |
77 }; |
78 |
78 |
79 void CheckForMissingGlyphsInLoadedLanguagePack(); |
79 void CheckForMissingGlyphsInLoadedLanguagePack(); |
80 |
80 |
81 StringID RemapOldStringID(StringID s); |
|
82 char *CopyFromOldName(StringID id); |
|
83 |
|
81 #endif /* STRINGS_TYPE_H */ |
84 #endif /* STRINGS_TYPE_H */ |