+ /// To resolve macros properly the paragraphs are numbered.
+ /// Every macro definition is stored with its paragraph number
+ /// as well. Only those macros with a smaller number become
+ /// visible in a paragraph (plus those in the same paragraph, but
+ /// in an earlier inset.
+ unsigned int macrocontextPosition() const;
+ ///
+ void setMacrocontextPosition(unsigned int pos);
+