Allow to hide information about pages in the menu#471

Ayuto merged 4 commits into

Source-Python-Dev-Team:masterSource-Python-Dev-Team/Source.Python:masterfrom

dronelektron:menu/optional-page-infodronelektron/Source.Python:menu/optional-page-infoCopy head branch name to clipboard