June 9, 2018
9:43 p.m.
On sam. 9 juin 2018 at 20:22, Hilaire <hilaire@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