1
0
gnome-settings-daemon/gnome-settings-daemon-bnc473980-unknown-media-key.patch

14 lines
415 B
Diff

Index: plugins/common/eggaccelerators.c
===================================================================
--- plugins/common/eggaccelerators.c (révision 706)
+++ plugins/common/eggaccelerators.c (copie de travail)
@@ -358,6 +358,8 @@ egg_accelerator_parse_virtual (const gch
}
}
}
+ else
+ bad_keyval = TRUE;
}
else if (accelerator_codes != NULL)
{