| … | |
… | |
| 547 | changed = bgPixmap.set_file (rs[Rs_backgroundPixmap]); |
547 | changed = bgPixmap.set_file (rs[Rs_backgroundPixmap]); |
| 548 | } |
548 | } |
| 549 | #endif |
549 | #endif |
| 550 | if (changed) |
550 | if (changed) |
| 551 | { |
551 | { |
| 552 | bgPixmap.render_background (); |
552 | bgPixmap.render (); |
| 553 | scr_touch (true); |
553 | scr_touch (true); |
| 554 | } |
554 | } |
| 555 | } |
555 | } |
| 556 | #endif |
556 | #endif |
| 557 | |
557 | |
| … | |
… | |
| 1152 | width, height); |
1152 | width, height); |
| 1153 | |
1153 | |
| 1154 | scr_clear (); |
1154 | scr_clear (); |
| 1155 | #ifdef XPM_BACKGROUND |
1155 | #ifdef XPM_BACKGROUND |
| 1156 | /* TODO: should that really be here ? */ |
1156 | /* TODO: should that really be here ? */ |
| 1157 | bgPixmap.render_background (); |
1157 | bgPixmap.render (); |
| 1158 | #endif |
1158 | #endif |
| 1159 | } |
1159 | } |
| 1160 | |
1160 | |
| 1161 | if (fix_screen || old_height == 0) |
1161 | if (fix_screen || old_height == 0) |
| 1162 | scr_reset (); |
1162 | scr_reset (); |
