diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2018-09-12 14:36:57 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-09-12 14:36:57 +0200 |
| commit | 143f522adbc88eabf2cfa9c70d007221fa542f0d (patch) | |
| tree | d8957fb325fbb532c2d709e310b0b4cf2514018f /doc/tools/makerst.py | |
| parent | f98d946cd9cd14f3635dd9cd80be79ca9850d477 (diff) | |
| parent | 9a1deedb8406bc25d6c1a8e414cb34cc3321a07a (diff) | |
| download | redot-engine-143f522adbc88eabf2cfa9c70d007221fa542f0d.tar.gz | |
Merge pull request #21914 from hpvb/fix-21720
When resizing an X11 window wait for the WM to process our request
Diffstat (limited to 'doc/tools/makerst.py')
0 files changed, 0 insertions, 0 deletions