… | |
… | |
1529 | selection_send (ev.xselectionrequest); |
1529 | selection_send (ev.xselectionrequest); |
1530 | break; |
1530 | break; |
1531 | |
1531 | |
1532 | case MapNotify: |
1532 | case MapNotify: |
1533 | #ifdef HAVE_BG_PIXMAP |
1533 | #ifdef HAVE_BG_PIXMAP |
1534 | /* This is needed specifically to fix the case of no window manager or a |
1534 | // This is needed at startup for the case of no window manager |
1535 | * non-reparenting window manager. In those cases we never get first |
1535 | // or a non-reparenting window manager and also because we |
1536 | * ConfigureNotify. Also that speeds startup under normal WM, by taking |
1536 | // defer bg image updates if the window is not mapped. The |
1537 | * care of multiplicity of ConfigureNotify events arriving while WM does |
1537 | // short delay is to optimize for multiple ConfigureNotify |
1538 | * reparenting. |
1538 | // events at startup when the window manager reparents the |
1539 | * We should not render background immediately, as there could be several |
1539 | // window, so as to perform the computation after we have |
1540 | * ConfigureNotify's to follow. Lets take care of all of them in one scoop |
1540 | // received all of them. |
1541 | * by scheduling background redraw as soon as we can, but giving a short |
|
|
1542 | * bit of time for ConfigureNotifies to arrive. |
|
|
1543 | * We should render background PRIOR to drawing any text, but AFTER all |
|
|
1544 | * of ConfigureNotifys for the best results. |
|
|
1545 | */ |
|
|
1546 | if (!(bg_flags & BG_IS_VALID)) |
1541 | if (!(bg_flags & BG_IS_VALID)) |
1547 | update_background_ev.start (0.025); |
1542 | update_background_ev.start (0.025); |
1548 | #endif |
1543 | #endif |
1549 | mapped = 1; |
1544 | mapped = 1; |
1550 | #ifdef TEXT_BLINK |
1545 | #ifdef TEXT_BLINK |