/// Return macro defined before the inclusion of the child
MacroData const * getMacro(docstring const & name, Buffer const & child, bool global = true) const;
- /// Collect user macro names at loading time
- typedef std::set<docstring> UserMacroSet;
- UserMacroSet usermacros;
-
/// Replace the inset contents for insets which InsetCode is equal
/// to the passed \p inset_code.
void changeRefsIfUnique(docstring const & from, docstring const & to,