- typedef std::vector<char>::size_type size_type;
-
- /// a type used for numbering layouts within a text class
- // used to be LyXTextClass::size_type
- typedef std::vector<char>::size_type layout_type;
-
- /// a type used for numbering text classes
- // used to be LyXTextClassList::size_type
- typedef std::vector<char>::size_type textclass_type;