Currently, in Ubuntu 18.04, pressing F2 brings up a "Gnome Menu" in the top left corner.
This is not Alt+F2 or Fn+F2. It's just straight F2.
But F2 is also a shortcut in Eclipse, which I use a lot. The Ubuntu F2 overrides the Eclipse F2, losing the Eclipse functionality.
Going into Keyboard Shortcut settings, I don't see anyway to reconfigure or change or disable the F2 key. I can see options for changing Alt+F2, but not straight F2.
What do I need to know about this?
UPDATE: Screenshot of Desktop.
I forget all the widgets I've installed over the past year. Pressing F2 pops up this menu, but I can't find a settings toggle for it.
I think you have installed
gnome-shell-extenion
Gno-Menu.This menu has the F2 shortcut for "Disable Menu button shortcut key".
To access the settings options for this extension, open
gnome-tweaks
. If it is not installed, install it bysudo apt install gnome-tweaks
. Go to the Extensions tab. Click on the Settings icon on Gno-menu.You can tick/check this option to disable the F2 shortcut for this function...
Note: While choosing this option to tick/ check... my system hanged, unresponsive. After several reboots, only this option is enabled...