20361N/Adiff -urN devmgr.orig/src/devmgr-dialog.c devmgr.new/src/devmgr-dialog.c

20361N/A--- devmgr.orig/src/devmgr-dialog.c 2011-06-13 14:57:37.035522970 +0100

20361N/A+++ devmgr.new/src/devmgr-dialog.c 2011-06-13 14:58:10.443713362 +0100

20361N/A@@ -918,7 +918,8 @@

20361N/A }

20361N/A

20361N/A void

20361N/A-workspace_changed_callback(WnckScreen *screen, gpointer data)

20361N/A+workspace_changed_callback(WnckScreen *screen, WnckWorkspace *prev,

20361N/A+ gpointer data)

20361N/A {

20361N/A char *zonename = get_zonename( screen );

20361N/A gint value = GPOINTER_TO_INT(data);