Keyboard shortcut to change filename conflicts with Gnome Menu.

[GwibberFooey]

I have recently installed Ubuntu 18.04 on my computer. I have installed Gnome Menu into Ubuntu 18.04. The F2 key activates the Gnome Menu. Therefore the F2 key can not be used to change the name of a file. How can I modify the system so that there exists a unique key-combination for each of these tasks?

[Dennis N]

Gnome Menu - this is a package (or extension?) you added to the default install? Please give the package name or extension name (I looked at packages and extensions, but didn't see it). Did you mean Gno-Menu?

[GwibberFooey]

Thank you for taking the time to consider my question. I have decided to abandon Ubuntu 18.04, and I have adopted Ubuntu Mate 18.04 instead. Therefore the original question doesn't matter anymore.