is for historical reasons… there is no actual reason to not rename them :)
> On 01 May 2016, at 11:06, Marcus Denker <marcus.den...@inria.fr> wrote: > > yes… I am thinking that always when I happen to see it in the setting. >> On 30 Apr 2016, at 18:35, Peter Uhnák <i.uh...@gmail.com> wrote: >> >> Hi, >> >> is there some reason why the theme is called "Pharo 3" and "Pharo3 Dark"… I >> mean we are about to start Pharo 6 so maybe it should just be "Pharo Dark" >> and "Pharo Light" (or "Pharo" or "Pharo Default" or whatever) >> >> Peter > >