Re: Beautify Grob_array and stop using std::vector::data() (issue 264950043 by address@hidden)

[Keith OHara]

On Sat, 05 Sep 2015 17:49:44 -0700, <address@hidden> wrote:

> I have simply removed the comments warning about filtering
> ordered arrays.

That seems to be correct.  Those comments were incorrect.
The filter_map* functions do not, in fact, change the order of the array under 
the meaning of 'ordered_'.  Pál's comment makes sense.

There is no sorting method in Grob_array so there is no reason to suspect that the member 
'ordered_' has anything to do with order under a sorting criterion.  Looking at the 
commits that touch 'ordered_' it is clear that its meaning was "this array should 
stay in its current order" and that removal of elements doesn't count as a change in 
order and substituting Grobs inherit the order the Grobs they replace.