readded keyboard menu entries (better solution found)