Foi relatado como um problema a ser adotado, e não parece ser uma solução ainda:
Após a atualização do ubuntu para o 13.10, o guake não apareceu na tecla F12. Tentei alterá-lo para outra chave F, mas recebo a mensagem: "Não é possível ligar a chave F12 global". Alguma idéia de como fazer isso funcionar novamente?