Me ha aparecido code edit de nuevo, con 7799.
Tampoco se por que me ha ocurrido esto, me han variado varias cosas como el idioma y el color de los menus, cosas que tambien he podido corregir desde el menu.