| … | |
… | |
| 1501 | if (szHint.width != ev.xconfigure.width || szHint.height != ev.xconfigure.height) |
1501 | if (szHint.width != ev.xconfigure.width || szHint.height != ev.xconfigure.height) |
| 1502 | { |
1502 | { |
| 1503 | seen_resize = 1; |
1503 | seen_resize = 1; |
| 1504 | resize_all_windows (ev.xconfigure.width, ev.xconfigure.height, 1); |
1504 | resize_all_windows (ev.xconfigure.width, ev.xconfigure.height, 1); |
| 1505 | } |
1505 | } |
|
|
1506 | |
|
|
1507 | HOOK_INVOKE ((this, HOOK_CONFIGURE_NOTIFY, DT_XEVENT, &ev, DT_END)); |
| 1506 | |
1508 | |
| 1507 | #ifdef TRANSPARENT /* XXX: maybe not needed - leave in for now */ |
1509 | #ifdef TRANSPARENT /* XXX: maybe not needed - leave in for now */ |
| 1508 | if (OPTION (Opt_transparent)) |
1510 | if (OPTION (Opt_transparent)) |
| 1509 | check_our_parents (); |
1511 | check_our_parents (); |
| 1510 | #endif |
1512 | #endif |
