On sam. 9 juin 2018 at 20:22, Hilaire <hila...@drgeo.eu> wrote: > > I see. > > > That way, it will be easy to change it with specific theme. >
https://github.com/pharo-project/pharo/pull/1514 > Thanks > > Hilaire > > -- > Dr. Geo > http://drgeo.eu > > > > -- Cyril Ferlicot https://ferlicot.fr