+ // To generalise into RowEntries
+ TextEntry start;
+ TextEntry end;
+ Buffer const * buffer;
+ // With a start position and an end position
+ ErrorItem(docstring const & error, docstring const & description,
+ TextEntry start, TextEntry end, Buffer const * buf = 0);
+ // Error outside the document body