Readers, What is the keyboard short cut to activate the panel menu? Previously using gnome, alt+f1 achieved this.