old menu bug (still here)

> Hi, I reported menu bug in mantis (May 2006 - bug number 5608).
>
> There is a hardwired menu title border width at the end of method
> MenuMorph>>addTitle: aString icon: aForm updatingSelector: aSelector
> updateTarget: aTarget
>
> Why? For menu title border width, there is a attribute in squeak
> theme classes (look at ColorTheme>>menuTitleBorderWidth).
>
> Is possible to fix this old issue in 3.10? (Fix is attached in mantis
> bug report)
>
> Thanks, pf