diff options
Diffstat (limited to 'games/gnmm')
| -rw-r--r-- | games/gnmm/files/patch-gnmm.cc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games/gnmm/files/patch-gnmm.cc b/games/gnmm/files/patch-gnmm.cc new file mode 100644 index 000000000..9e971192f --- /dev/null +++ b/games/gnmm/files/patch-gnmm.cc @@ -0,0 +1,11 @@ +--- src/gnmm.cc.orig 2007-08-02 14:24:29.000000000 +0200 ++++ src/gnmm.cc 2007-08-02 14:24:52.000000000 +0200 +@@ -177,7 +177,7 @@ + if (!gtk_toggle_button_get_active(GTK_TOGGLE_BUTTON(w))) + return; + +- int id = (int)data; ++ intptr_t id = (intptr_t)data; + + if (id>=10) pref_black_level = id-10; + else pref_white_level = id; |