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
Hi,��
This is on my todo list to check this problem. I just did not get time yet.��
If we revert the changes it's the menu bar that will break.
I think the previous code already used the #menuBorderWidth from theme but maybe badly and it was broken?��
I'll check how to correct this. Maybe I'll add to the theme #dockingBarBorderWidth. But I'll probably not have the time this week end.��
--
Dr. Geo
http://drgeo.eu