Eu tenho esta versão do Eclipse no Ubuntu 12.04 mas funciona para mim.Você pode atribuir "F3" para outra ação, para verificar vá para Configurações do Sistema selecione Teclado e, em seguida, vá para a guia de atalhos, procure lá por atalho "F3" , Se você achar que alterá-lo para outro atalho de teclado. Você também deve verificar o seu eclipse porque funciona completamente para mim.