luckily not :)
> On 8 Jan 2020, at 22:07, Esteban Maringolo <[email protected]> wrote: > > I'll make the first guess: 10^6 calls. > > Esteban A. Maringolo > > On Wed, Jan 8, 2020 at 6:03 PM ducasse <[email protected]> wrote: >> >> So now I know how many instance of colors are created when we switch theme >> and it looks like a real plague. >> I will let you guess the number but this is not a small one :( >> >> I will check on my lovely theme if using a dictionary can manage it. >> >>> On 8 Jan 2020, at 21:51, ducasse <[email protected]> wrote: >>> >>> Color >> basicNew >>> Transcript show: '.'; cr. >>> ^ super basicNew >>> >>> >>> This is scary. >>> I will save in a file because we are creating so many spurious colors that >>> it is nearly not possible to see the amount. >>> >>> >> >> >> >
