blue = get_color(0, 0, 0xffff); white = get_color(0xffff, 0xffff, 0xffff); lightgray = get_color(0xefff, 0xefff, 0xefff); midgray = get_color(0xdfff, 0xdfff, 0xdfff); darkgray = get_color(0xcfff, 0xcfff, 0xcfff); ddarkgray = get_color(0xafff, 0xafff, 0xafff); black = get_color(0, 0, 0);
s_ctk_draw_init(void){  GtkWidget *image;    image = gtk_image_new_from_file("background.png");  background = gtk_image_get_pixbuf(GTK_IMAGE(image));  image = gtk_image_new_from_file("windowborder.png");  windowborder = gtk_image_get_pixbuf(GTK_IMAGE(image));  image = gtk_image_new_from_file("menubar.png");  menubar = gtk_image_get_pixbuf(GTK_IMAGE(image));  ctk_gtksim_init();  ctk_gtksim_draw_init();}