/// this inset
docstring const babelpreamble() const { return babelpreamble_; }
///
+ bool fixedwidthpreambleencoding() const { return fixedwidthpreambleencoding_; }
+ ///
docstring counter() const { return counter_; }
///
docstring refprefix() const { return refprefix_; }
/// Language and babel dependent macro definitions needed for this inset
docstring babelpreamble_;
///
+ bool fixedwidthpreambleencoding_;
+ ///
docstring refprefix_;
///
mutable std::string htmltag_;