+ LyXFont const GetFirstFontSettings() const;
+
+ /** Get fully instantiated font. If pos == -1, use the layout
+ font attached to this paragraph.
+ If pos == -2, use the label font of the layout attached here.
+ In all cases, the font is instantiated, i.e. does not have any
+ attributes with values LyXFont::INHERIT, LyXFont::IGNORE or
+ LyXFont::TOGGLE.
+ */
+ LyXFont const getFont(BufferParams const &, size_type pos) const;
+ ///
+ value_type GetChar(size_type pos) const;
+ /// The position must already exist.
+ void SetChar(size_type pos, value_type c) {
+#ifndef HAVE_ROPE
+ text[pos] = c;
+#else
+ text.replace(pos, c);
+#endif
+ }
+