Fixed a bug leading to menu_editors_close() being called twice. Changed Editors Menu dimensions to make it very distinct from Main Menu.