Add ShowAll tools to Tools/Build config - Menu update

This is a small fix to follow up the Menu comment from this: !16 (comment 933938)

Fell free to merge it to have the Menu fixed right now or keep it open until the other issues you might have in mind are also handled. Like the PSTricks.

Merge request reports

Loading