Recentemente, mudei de usar o Spyder no Windows para o Ubuntu 14.04 para editar scripts Python (.py). No Windows, pode-se escolher Arquivo -> Salvar como, para salvar o arquivo .py com qualquer nome. No Linux, no entanto, não existe o botão "Arquivo", apenas os botões "Novo" "Abrir" "Salvar" e "Salvar tudo" (veja abaixo).
Gostaria de não apenas salvar o script .py, mas também alterar seu nome e diretório, por isso preciso da opção "Salvar como". Como posso acessar isso no Ubuntu?
