mirror of
https://github.com/brl/mutter.git
synced 2024-11-09 23:46:33 -05:00
1f26dc12e5
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>
12 lines
330 B
XML
12 lines
330 B
XML
<?xml version="1.0" encoding="UTF-8" ?>
|
|
<KeyListEntries schema="org.gnome.desktop.wm.keybindings"
|
|
group="system"
|
|
name="System"
|
|
wm_name="Mutter"
|
|
package="mutter">
|
|
|
|
<KeyListEntry name="panel-run-dialog" description="Show the run command prompt"/>
|
|
|
|
</KeyListEntries>
|
|
|