no WINX_Ready parameter

src/frontend/display.c

@@ -59,7 +59,7 @@ DISPDEVICE device[] = {
     WIN_DrawLine, WIN_Arc, WIN_Text, WIN_DefineColor, WIN_DefineLinestyle,
     WIN_SetLinestyle, WIN_SetColor, WIN_Update,
     nodev, nodev, nodev, gen_Input,
-    gen_DatatoScreen, WIN_DiagramReady},
+    gen_DatatoScreen,}, /* WIN_DiagramReady */
 
     /* Warning: name "WinPrint" do not change! */
     {"WinPrint", 0, 0, 1000, 1000, 0, 0, WPRINT_Init, WPRINT_NewViewport,
@@ -67,7 +67,7 @@ DISPDEVICE device[] = {
     WPRINT_DrawLine, WPRINT_Arc, WPRINT_Text, WPRINT_DefineColor, WPRINT_DefineLinestyle,
     WPRINT_SetLinestyle, WPRINT_SetColor, WPRINT_Update,
     nodev, nodev, nodev, nodev,
-    gen_DatatoScreen, WPRINT_DiagramReady},
+    gen_DatatoScreen,}, /* WPRINT_DiagramReady */
 #endif
 
     {"plot5", 0, 0, 1000, 1000, 0, 0, Plt5_Init, Plt5_NewViewport,