On Thu, May 5, 2016 at 9:26 AM, 'Terry Brown' via leo-editor < [email protected]> wrote:
> > Imo, this would best work by altering @data nodes, not some separate, > > almost-never-used external file. In other words, I want *one* way to > > handle abbreviations. I don't want to make the almost-never-used > > Agree 100%, wasn't aware there was some bifurcation in the > implementation there. ​Good. Feel free to experiment with adding abbreviations (good joke) dynamically, with perhaps a new command to update/save the appropriate settings file. BTW, there is a documentation Easter Egg in leoConfig.py: the '# unusual' comment highlights four kinds of settings that are handled differently @buttons, @commands, @enabled-plugins and recent files stuff. I mention this because I didn't remember whether the @data *abbrev* stuff was 'unusual'. Apparently it is not. In short, fire away if you like. There seems to be no need to reopen #236 <https://github.com/leo-editor/leo-editor/issues/236>. EKR -- 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 post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
