Fixed a settings bug that caused Ctrl-O not to appear in the File menu!

Leo build: 20140917100640