… | |
… | |
284 | #endif |
284 | #endif |
285 | |
285 | |
286 | #ifdef HAVE_BG_PIXMAP |
286 | #ifdef HAVE_BG_PIXMAP |
287 | bgPixmap.destroy (); |
287 | bgPixmap.destroy (); |
288 | #endif |
288 | #endif |
|
|
289 | display->flush (); /* ideally .put should do this */ |
289 | displays.put (display); |
290 | displays.put (display); |
290 | |
291 | |
291 | scr_release (); |
292 | scr_release (); |
292 | |
293 | |
293 | /* clear all resources */ |
294 | /* clear all resources */ |
… | |
… | |
1758 | bgPixmap.render (); |
1759 | bgPixmap.render (); |
1759 | else |
1760 | else |
1760 | { |
1761 | { |
1761 | update_background_ev.stop (); |
1762 | update_background_ev.stop (); |
1762 | |
1763 | |
1763 | if (!bgPixmap.need_client_side_rendering()) |
1764 | if (!bgPixmap.need_client_side_rendering ()) |
1764 | update_background_ev.start (.05); |
1765 | update_background_ev.start (.05); |
1765 | else if (bgPixmap.flags & bgPixmap_t::blurNeeded) |
1766 | else if (bgPixmap.flags & bgPixmap_t::blurNeeded) |
1766 | update_background_ev.start (.20); /* very slow !!! */ |
1767 | update_background_ev.start (.20); /* very slow !!! */ |
1767 | else |
1768 | else |
1768 | update_background_ev.start (.07); |
1769 | update_background_ev.start (.07); |