← Back to branch summary

~ubuntu-branches/debian/sid/gnome-chess/sid

« back to all changes in this revision

Viewing changes to debian/patches/017-save-as-item.diff

  • Committer: Bazaar Package Importer
  • Author(s): Sebastian Rittau
  • Date: 2005-09-04 18:16:43 UTC
  • mfrom: (2.1.1 warty)
  • Revision ID: james.westby@ubuntu.com-20050904181643-qfph33u3pa4azz5h
Tags: 0.3.3-6
http://bugs.debian.org/258798
* Fix problems with gcc 4.0:
  + debian/patches/021-gcc-4.0-fixes.diff: New patch.
  + Closes: #258798 "FTBFS with gcc-3.4: label at end of compound statement"
* Fix wrong Debian patch:
  + debian/patch/019-assertions.diff: Fixed.
  + Partly addresses bug #247846 "Crashes after a few moves (assertion
    failed)". This fix is not perfect. As Göran Weinholt notes in the
    bug report, assertions are not the way to go, but are a temporary
    stop-gap measure. (Better assertions than unpredicable results.)

Show diffs side-by-side

added added

removed removed

Lines of Context:
debian/patches/017-save-as-item.diff
 
1
--- src/board_window_menu.h.old 2001-05-02 08:24:36.000000000 +0200
 
2
+++ src/board_window_menu.h     2003-06-12 03:08:56.000000000 +0200
 
3
@@ -30,7 +30,7 @@
 
4
 
 
5
 void board_window_menu_new (GtkWidget *widget, void *data);
 
6
 void board_window_menu_open (GtkWidget *widget, void *data);
 
7
-void board_window_menu_save (GtkWidget *widget, void *data);
 
8
+void board_window_menu_save_as (GtkWidget *widget, void *data);
 
9
 void board_window_menu_program (GtkWidget *widget, void *data);
 
10
 void board_window_menu_server (GtkWidget *widget, void *data);
 
11
 void board_window_menu_close (GtkWidget *widget, void *data);
 
12
--- src/board_window_menu.c.old 2001-06-18 00:35:27.000000000 +0200
 
13
+++ src/board_window_menu.c     2003-06-12 03:08:54.000000000 +0200
 
14
@@ -41,7 +41,7 @@
 
15
 
 
16
        GNOMEUIINFO_MENU_OPEN_ITEM (board_window_menu_open, NULL),
 
17
 
 
18
-       GNOMEUIINFO_MENU_SAVE_ITEM (board_window_menu_save, NULL),
 
19
+       GNOMEUIINFO_MENU_SAVE_AS_ITEM (board_window_menu_save_as, NULL),
 
20
 
 
21
        GNOMEUIINFO_SEPARATOR, 
 
22
 
 
23
@@ -188,7 +188,7 @@
 
24
 }
 
25
 
 
26
 void 
 
27
-board_window_menu_save (GtkWidget *widget, void *data) 
 
28
+board_window_menu_save_as (GtkWidget *widget, void *data) 
 
29
 {
 
30
        BoardWindow *window = BOARD_WINDOW (data);
 
31
        char *filename;