On sam. 9 juin 2018 at 09:48, Hilaire <[email protected]> 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
