June 9, 2018
7:47 a.m.
Why ? DockingBarMorph>>defaultBorderWidth    ^ self theme menuBorderWidth Le 09/06/2018 à 09:27, Hilaire a écrit :
I am not there yet, hope to have time. Now I just browse changes from github, can see several changed related to use of theme borderwidth
-- Dr. Geo http://drgeo.eu