Re: [Pharo-dev] [PROPOSAL] Put the WorldMenu in a Menu bar

[Guillermo Polito]

Hi Hilaire,

On Tue, Jun 5, 2018 at 9:38 PM, Hilaire <hila...@drgeo.eu> wrote:

> Can the bar menu be customized as it is the case with the World menu ?
> (i.e. DrGeo world menu)
>
>
The menu bar is populated the same way as the World menu. So if you change
the world menu, or the world menu pragma and you rebuild the menu the menu
bar will be updated accordingly.