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