… | |
… | |
812 | if (option (Opt_scrollBar)) |
812 | if (option (Opt_scrollBar)) |
813 | scrollBar.resize (); /* create and map scrollbar */ |
813 | scrollBar.resize (); /* create and map scrollbar */ |
814 | #ifdef HAVE_BG_PIXMAP |
814 | #ifdef HAVE_BG_PIXMAP |
815 | { |
815 | { |
816 | bgPixmap.set_target (this); |
816 | bgPixmap.set_target (this); |
817 | bgPixmap.invalidate (); |
|
|
818 | |
817 | |
819 | #ifdef ENABLE_TRANSPARENCY |
818 | #ifdef ENABLE_TRANSPARENCY |
820 | if (option (Opt_transparent)) |
819 | if (option (Opt_transparent)) |
821 | { |
820 | { |
822 | bgPixmap.set_transparent (); |
821 | bgPixmap.set_transparent (); |