mirror of
https://github.com/brl/mutter.git
synced 2024-11-23 16:40:41 -05:00
data: Stop exposing old panel-main-menu shortcut
There hasn't been a "panel main menu" for ten years now, and gnome-shell already exports a 'toggle-overview' shortcut for the GNOME 3 replacement. https://discourse.gnome.org/t/difference-between-show-the-overview-and-show-the-activities-overview-keyboard-shortcuts/6572 Part-of: <https://gitlab.gnome.org/GNOME/mutter/-/merge_requests/1886>
This commit is contained in:
parent
0f8ae7c507
commit
1f26dc12e5
@ -7,7 +7,5 @@
|
|||||||
|
|
||||||
<KeyListEntry name="panel-run-dialog" description="Show the run command prompt"/>
|
<KeyListEntry name="panel-run-dialog" description="Show the run command prompt"/>
|
||||||
|
|
||||||
<KeyListEntry name="panel-main-menu" description="Show the activities overview"/>
|
|
||||||
|
|
||||||
</KeyListEntries>
|
</KeyListEntries>
|
||||||
|
|
||||||
|
Loading…
Reference in New Issue
Block a user