On Mon, Jun 22, 2020 at 8:26 PM Félix <[email protected]> wrote:
> > Note 1: Closing a commander will *not* update g.app.windowList. Indeed, >> the bridge has no closeLeoFile method. That may not actually be a problem. >> I don't see any reason ever to close a .leo file in the bridge. > > > (Not tested yet: ) Would that perhaps 'trip' the derived file detection > for closed files that would still be listed by commanders() when the efc > does his cycles... or maybe efc checks a 'closed' flag that is set on a > commander that were .close() considered 'closed'? Just thinking out loud > here... > Good questions. I don't know the answers. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1grP%3D_R0KSwh%2BifvaDfB4Bjobz4j%3DfOnOko16%3DQce%3D1w%40mail.gmail.com.
