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
