414
413
g_object_add_weak_pointer (G_OBJECT (pager->properties_dialog),
415
414
(gpointer *) &pager->properties_dialog);
417
415
--- gnome-panel-2.20.0.1/applets/wncklet/workspace-switcher.glade 2007-09-18 15:56:52.000000000 +0200
420
418
<property name="border_width">5</property>
421
419
<property name="spacing">12</property>