diff options
| author | Benjamin Berg <bberg@redhat.com> | 2019-03-05 11:21:25 +0100 |
|---|---|---|
| committer | Benjamin Berg <bberg@redhat.com> | 2019-05-27 16:48:25 +0200 |
| commit | 70abccb8700d9a799e60a07f30ee71c5168e12dc (patch) | |
| tree | 53504b149887f72c3263c3bf08ab03f1e7fb9d63 | |
| parent | 903522a6c33388fa7cf152666b4d8cc83f8affa6 (diff) | |
| download | gnome-settings-daemon-70abccb8700d9a799e60a07f30ee71c5168e12dc.tar.gz | |
media-keys: Remove ordered registration of keybindings
The registration now happens in random order, so trying to put them into
some order here does not make any difference.
| -rw-r--r-- | plugins/media-keys/gsd-media-keys-manager.c | 12 |
1 files changed, 2 insertions, 10 deletions
diff --git a/plugins/media-keys/gsd-media-keys-manager.c b/plugins/media-keys/gsd-media-keys-manager.c index 96516720..5193527a 100644 --- a/plugins/media-keys/gsd-media-keys-manager.c +++ b/plugins/media-keys/gsd-media-keys-manager.c @@ -928,16 +928,8 @@ init_kbd (GsdMediaKeysManager *manager) gnome_settings_profile_start (NULL); - /* Media keys - * Add hard-coded shortcuts first so that they can't be preempted */ - for (i = 0; i < G_N_ELEMENTS (media_keys); i++) { - if (media_keys[i].hard_coded) - add_key (manager, i); - } - for (i = 0; i < G_N_ELEMENTS (media_keys); i++) { - if (media_keys[i].hard_coded == NULL) - add_key (manager, i); - } + for (i = 0; i < G_N_ELEMENTS (media_keys); i++) + add_key (manager, i); /* Custom shortcuts */ custom_paths = g_settings_get_strv (priv->settings, |