search

The-Panacea-Projects / Gnomenu

GnoMenu - is a traditional styled full featured Gnome-Shell apps-menu, that aims to offer all the essentials in a simple uncluttered intuitive interface. Menu fully supports user theme integration and in addition themes that carry native support can be found here http://the-panacea-projects.deviantart.com/
GNU General Public License v3.0
120 stars 49 forks source link

Unable to disable F2 shortcut #69

Closed archont00 closed 7 years ago

archont00 commented 7 years ago

I use Gnomenu with Dast to panel extension. Pressing F2 opens "Menu" and there is no setting in preferences of Gnomenu to disable such a behaviour.

This bug steals the key bindings from other apps like gnome-terminal (F2 is save in Midnight Commander editor and others).

The-Panacea-Projects commented 7 years ago

Actually it can be disabled or changed in preferences, its the last option under Panel Settings.

On Tue, Apr 18, 2017 at 1:24 AM, milankni notifications@github.com wrote:

I use Gnomenu with Dast to panel extension. Pressing F2 opens "Menu" and there is no setting in preferences of Gnomenu to disable such a behaviour.

This bug steals the key bindings from other apps like gnome-terminal (F2 is save in Midnight Commander editor and others).

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub, or mute the thread.

archont00 commented 7 years ago

You're right, I must have overlooked it before. Thanks.