Issue #67: Update of the View menu