|
@@ -443,7 +443,8 @@ extern int wborder ( WINDOW *, chtype, chtype, chtype, chtype, chtype, chtype,
|
443
|
443
|
extern int wclrtobot ( WINDOW * ) __nonnull;
|
444
|
444
|
extern int wclrtoeol ( WINDOW * ) __nonnull;
|
445
|
445
|
extern void wcursyncup ( WINDOW * );
|
446
|
|
-extern int wcolour_set ( WINDOW *, short, void * ) __nonnull;
|
|
446
|
+extern int wcolour_set ( WINDOW *, short, void * )
|
|
447
|
+ __attribute__ (( nonnull (1)));
|
447
|
448
|
#define wcolor_set(w,s,v) wcolour_set((w),(s),(v))
|
448
|
449
|
extern int wdelch ( WINDOW * ) __nonnull;
|
449
|
450
|
extern int wdeleteln ( WINDOW * ) __nonnull;
|