diff options
Diffstat (limited to 'games/gnome-games/files/patch-gnobots2_properties.c')
| -rw-r--r-- | games/gnome-games/files/patch-gnobots2_properties.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/games/gnome-games/files/patch-gnobots2_properties.c b/games/gnome-games/files/patch-gnobots2_properties.c new file mode 100644 index 000000000000..6a5a72646898 --- /dev/null +++ b/games/gnome-games/files/patch-gnobots2_properties.c @@ -0,0 +1,10 @@ +--- gnobots2/properties.c.orig 2007-09-07 15:39:29.000000000 -0500 ++++ gnobots2/properties.c 2007-09-07 15:41:56.000000000 -0500 +@@ -116,6 +116,7 @@ + static void defkey_cb (GtkWidget *, gpointer); + static void fill_typemenu (GtkWidget *); + static void conf_set_background_color (GdkColor * c); ++static void load_keys (void); + /**********************************************************************/ + + |