Nicolas Cellier wrote Open preferences, click on button next to menuTitleBorderColor Unexpectingly, it raises the borderStyleMenu Then things end with a MNU strange hack seems located in PBColorPreferenceView>>colorMenuButton