On Tue, Oct 02, 2007 at 06:15:43PM +0200, Abdelrazak Younes wrote: > Andre Poenitz wrote: > >On Tue, Oct 02, 2007 at 02:39:49PM -0000, [EMAIL PROTECTED] wrote: > >>Author: younes > >>Date: Tue Oct 2 16:39:48 2007 > >>New Revision: 20664 > >> > >>URL: http://www.lyx.org/trac/changeset/20664 > >>Log: > >>Fix some issues with buffer closing. > >>* Switch WorkAreaManager to std::list instead of vector. > > > >Urm, why? > > Just because of list::remove().
Does it need to be stable, or do you do that for performance reasons? Andre'
