Andre Poenitz wrote:
I wonder if we might have left the InsetCode insetCode(std::string const & name); in Inset.h. We have a few (only a few...) files now that can live without the ~18k or so std::string include.
Why not but I guess std::string would be loaded anyway as most files loads docstring in one way or another.
Abdel. PS: You are going to be happy with my upcoming cleanup of Undo.h.
