![]() Especially for gtk, where a client-resize notification was getting mixed up with a frame-configure notification. On all platforms, `on-size' and `on-move' for a frame% were queued at too high a priority. |
||
---|---|---|
.. | ||
lang | ||
private | ||
doc.txt | ||
edit-main.rkt | ||
edit.rkt | ||
info.rkt | ||
installer.rkt | ||
main.rkt | ||
mred-sig.rkt | ||
mred-unit.rkt | ||
mred.rkt |