WPrefs: Marked args as unused for compiler in Notification callback code

The mechanism of Notifications in the WINGs toolkit is relying on
callbacks to dispatch notifications, which means having a fixed argument
list for the handling function.

It is then correct to not use all the arguments, so this patch adds the
appropriate stuff to avoid a false report from compiler.

Signed-off-by: Christophe CURIS <christophe.curis@free.fr>

WPrefs.app/Appearance.c

@@ -1465,6 +1465,9 @@ static void colorWellObserver(void *self, WMNotification * n)
 	_Panel *panel = (_Panel *) self;
 	int p;
 
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) n;
+
 	p = WMGetPopUpButtonSelectedItem(panel->colP);
 
 	WMReleaseColor(panel->colors[p]);

WPrefs.app/Focus.c

@@ -167,6 +167,9 @@ static void raiseTextChanged(void *observerData, WMNotification * notification)
 	_Panel *panel = (_Panel *) observerData;
 	int i;
 
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) notification;
+
 	if (panel->raiseDelaySelected) {
 		for (i = 0; i < 5; i++) {
 			WMSetButtonSelected(panel->raisB[i], False);

WPrefs.app/KeyboardShortcuts.c

@@ -393,6 +393,9 @@ static void typedKeys(void *observerData, WMNotification * notification)
 	_Panel *panel = (_Panel *) observerData;
 	int row = WMGetListSelectedItemRow(panel->actLs);
 
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) notification;
+
 	if (row < 0)
 		return;
 

WPrefs.app/MouseSettings.c

@@ -151,6 +151,9 @@ static void returnPressed(void *observerData, WMNotification * notification)
 {
 	_Panel *panel = (_Panel *) observerData;
 
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) notification;
+
 	speedChange(NULL, panel);
 }
 

WPrefs.app/TexturePanel.c

@@ -524,6 +524,9 @@ static void gradDeleteCallback(WMWidget * w, void *data)
 
 static void colorWellObserver(void *self, WMNotification * n)
 {
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) n;
+
 	updateSGradButtons(self);
 }
 

WPrefs.app/editmenu.c

@@ -334,6 +334,9 @@ static void realizeObserver(void *self, WMNotification * not)
 	WEditMenu *menu = (WEditMenu *) self;
 	GNUstepWMAttributes attribs;
 
+	/* Parameter not used, but tell the compiler that it is ok */
+	(void) not;
+
 	memset(&attribs, 0, sizeof(GNUstepWMAttributes));
 	attribs.flags = GSWindowStyleAttr | GSWindowLevelAttr;
 	attribs.window_style = WMBorderlessWindowMask;