allow menu bar visibility to be set in the settings#2759

Merged

Rokt33r merged 1 commit intoBoostIO:masterfrom

richardtks:toggle-menu-bar-settings

Jan 7, 2019

Commits on Dec 27, 2018

allow menu bar to be set in the settings
richardtks
committed