On Jan 25, 6:12 am, "Edward K. Ream" <[email protected]> wrote: > Yesterday in the bath I saw an elegant way to update merge two bindings dicts.
[snip] > For any dictionary d, d == uninvert(invert(d)) The invert and uninvert operations can *not* be applied to arbitrary dicts. Invert applies only to bindings dicts, that is, to dicts whose keys are command names and whose values are ShortcutInfo nodes. Similarly, uninvert applies only to dictionaries inverted by the invert operation. In other words, the identity above should be: For any **binding** dict d, d == uninvert(invert(d)) EKR -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
