Cool. Hilaire
Le 06/06/2018 à 13:11, Guillermo Polito a écrit :
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.
-- Dr. Geo http://drgeo.eu
