Added setting to show menu icon; closes #417.