Re: [Pharo-dev] Annoying frame around ToolDockingBarMorph

[Hilaire]

Nice, thanks

Hilaire


Le 09/06/2018 à 23:43, Cyril Ferlicot a écrit :

    That way, it will be easy to change it with specific theme.


https://github.com/pharo-project/pharo/pull/1514

--
Dr. Geo
http://drgeo.eu