On sam. 9 juin 2018 at 09:48, Hilaire <hilaire@drgeo.eu> wrote:
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
-- Cyril Ferlicot https://ferlicot.fr