On Fri, Nov 07, 2003 at 10:25:28AM +0100, Alfredo Braunstein wrote: > Andre Poenitz wrote: > > > So just use a vector and write a comment "This is conceptually a stack, > > but sometimes we need random access to its elements, so we use a > > vector". > > > > We do that in other places already. > > That would be it: s/stack/vector/ + two lines changed in ControlSpellChecker > + the adition of InsetOld::allowSpellcheck > > Ok to commit?
Fine with me. Andre' -- Those who desire to give up Freedom in order to gain Security, will not have, nor do they deserve, either one. (T. Jefferson or B. Franklin or both...)
