(I can see how it might be a bad idea since the editor's attributes (like its value) could have changed in the meantime and the state that the plugin saved for it could become incorrect unless draconian / brittle / ugly measures are taken -- but I'm still curious about whether an editor can be uniquely identified)
On Tuesday, August 9, 2016 at 11:12:11 PM UTC-7, [email protected] wrote: > > Does an editor have a unique identity for the length of its life? I looked > in the source for lt.objs.editor but didn't see something like a unique > identity. > > Example: a plugin has one bit of state, an atom which is a map of editor > id to some value that it maintains. The purpose is to save some result from > the last time the plugin was asked to deal with a particular editor > (instead of starting from scratch every time) .... Or if this is a bad > idea, can you tell me more? > > > -- You received this message because you are subscribed to the Google Groups "Light Table Discussion" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
