diff options
Diffstat (limited to 'games-board/sirius/files/sirius-0.8.0-format.patch')
| -rw-r--r-- | games-board/sirius/files/sirius-0.8.0-format.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/games-board/sirius/files/sirius-0.8.0-format.patch b/games-board/sirius/files/sirius-0.8.0-format.patch new file mode 100644 index 000000000000..dccf6e244323 --- /dev/null +++ b/games-board/sirius/files/sirius-0.8.0-format.patch @@ -0,0 +1,11 @@ +--- src/sirius.c.old 2016-01-14 21:22:53.946900371 +0100 ++++ src/sirius.c 2016-01-14 21:24:08.240507669 +0100 +@@ -180,7 +180,7 @@ + + paus = 1; + +- box = gtk_message_dialog_new (GTK_WINDOW (window), GTK_DIALOG_MODAL, GTK_MESSAGE_INFO, GTK_BUTTONS_OK, message); ++ box = gtk_message_dialog_new (GTK_WINDOW (window), GTK_DIALOG_MODAL, GTK_MESSAGE_INFO, GTK_BUTTONS_OK, "%s", message); + gtk_dialog_run (GTK_DIALOG(box)); + gtk_widget_destroy(box); + |