52d0b7e352
When switching tabs while an on-reflow initiated callback might still be running can lead to bogus information coming back from position-locations, as the editor loses its admin. So, we just give up recomputing the rectangles when the admin is gone and, for now, expect that there will be another on-reflow call when the admin comes back that'll restart the process (not sure that this is guaranteed tho) |
||
|---|---|---|
| .. | ||
| private | ||
| collapsed-snipclass-wxme.rkt | ||
| collapsed-snipclass.rkt | ||
| comment-snip.rkt | ||
| decorated-editor-snip.rkt | ||
| doc.txt | ||
| framework-sig.rkt | ||
| framework-unit.rkt | ||
| framework.rkt | ||
| gui-utils.rkt | ||
| keybinding-lang.rkt | ||
| main.rkt | ||
| preferences.rkt | ||
| splash.rkt | ||
| test.rkt | ||