NULL, 0, 0);
GDK_RGB_DITHER_NONE, 0, 0);
s_ctk_draw_clear(unsigned char y1, unsigned char y2){  if(background == NULL) {    gdk_draw_rectangle(ctk_gtksim_pixmap,		       darkgray,		       TRUE,		       0,		       y1 * RASTER_Y + MENUBAR_HEIGHT,		       CTK_GTKSIM_SCREEN_WIDTH,		       (y2 - y1) * RASTER_Y);  } else {    gdk_draw_pixbuf(ctk_gtksim_pixmap,		    darkgray,		    background,		    0,		    y1 * RASTER_Y,		    0,		    y1 * RASTER_Y + MENUBAR_HEIGHT,		    CTK_GTKSIM_SCREEN_WIDTH,		    (y2 - y1) * RASTER_Y,		    NULL, 0, 0);      }}