On Wed, 4 May 2016 13:39:26 -0700 (PDT) "Edward K. Ream" <[email protected]> wrote:
> On Tuesday, May 3, 2016 at 9:17:06 AM UTC-5, Edward K. Ream wrote: > > > > Does anyone use the static abbrev-* commands? I can see no use for > > them. > > > > The abbreviations in `@data <https://github.com/data> > > abbreviations` nodes, and especially '@outline-data > > tree-abbreviations' seem much more useful. I would like to moot > > #236 <https://github.com/leo-editor/leo-editor/issues/236> by > > eliminating these commands. > > I haven't heard any howls of protest, so rev 1b2536c2 provisionally > removes them. From the checkin log: Sorry to be slow in responding. Unless I'm getting them confused with other commands, I think some of these are useful. Or to put it another way, I think there should at least be a command to add an abbreviation at run time, one that works by having you select the text to be abbreviated and then, when the command's run, prompt for an abbreviation for it. Use case is writing prose with repetitions of annoyingly long words (looking at you, pneumonoultramicroscopicsilicovolcanoconiosis) or expressions. It would be nice to be able to make the abbreviations added "manually" in the current session permanent, although maybe that's secondary, if you're using something a lot just edit ~/.leo/myLeoSettings.leo#@settings-->@data abbreviations, but losing the ability to add an abbreviation on the fly seems like a regrettable loss. Cheers -Terry > Removed seldom (never?) used emacs-style abbreviation commands: > > abbrev-add-global, abbrev-inverse-add-global, abbrev-read, > > abbrev-write. > > > > These are still in the code base, disabled with: > > > > if 0: > > @others > > We'll see whether anyone is affected. In the meantime, I am going to > close #236 <https://github.com/leo-editor/leo-editor/issues/236>, > which is mooted as a result. > > 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.
