Refine fix for bug #7183.

[features.git] / src / Buffer.h

diff --git a/src/Buffer.h b/src/Buffer.h
index e79856609ff18fb58c3c7e830b6c108d125c08dd..d0d787687c94510f5ada9c1339be7bbb313c7c90 100644 (file)
--- a/src/Buffer.h
+++ b/src/Buffer.h
@@ -542,6 +542,10 @@ public:
        /// 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,