… | |
… | |
511 | resize_scrollbar (); /* create and map scrollbar */ |
511 | resize_scrollbar (); /* create and map scrollbar */ |
512 | #endif |
512 | #endif |
513 | #ifdef HAVE_BG_PIXMAP |
513 | #ifdef HAVE_BG_PIXMAP |
514 | { |
514 | { |
515 | bgPixmap.set_target (this); |
515 | bgPixmap.set_target (this); |
|
|
516 | bgPixmap.invalidate (); |
516 | |
517 | |
517 | #ifdef ENABLE_TRANSPARENCY |
518 | #ifdef ENABLE_TRANSPARENCY |
518 | if (option (Opt_transparent)) |
519 | if (option (Opt_transparent)) |
519 | { |
520 | { |
520 | bgPixmap.set_transparent (); |
521 | bgPixmap.set_transparent (); |