On Mon, 22 Sep 2014 08:50:16 -0700 (PDT) bobS <[email protected]> wrote:
> Thanks, Terry. The "boot" was a typo on my part; the outline had > bool. I was trying to use the abbreviation immediately after entering > it in my outline. But after starting Leo this morning, I noticed that > "Abbreviations are on" and the abbreviation worked perfectly! Is a > Leo restart required, or should I have run a command to cause the new > abbreviation(s) to be recognized? Currently I think you need to restart Leo, although I wonder if Settings -> Reload Styles would update the abbreviations without the restart, as a side effect :-) Cheers -Terry > Thanks again. > BobS > > On Friday, September 19, 2014 7:08:50 PM UTC-5, Terry wrote: > > > On Fri, 19 Sep 2014 14:34:38 -0700 (PDT) > > bobS <[email protected] <javascript:>> wrote: > > > > > My expectation, after reading doc, and settings information in > > > leoSettings.leo,etc, is that after making sure that i have > > > @settings > > > @boot enable-abbreviations = True > > > > It's bool, not boot, short for boolean, although I can see how boot > > makes sense too. > > > > > @data abbreviations > > > stuff;;=stuffing > > > > > > was that typing stuff;; would result in stuffing appearing where > > > stuff;; had been entered. Since this doesn't happen > > > in my Leo 4.11a1, please tell me where I'm going wrong. > > > > If boot -> bool doesn't fix it, can you post the top part of the > > output in the Leo log window, unfortunately most versions of Leo > > report 4.11 > > > > E.g. I get > > > > Leo Log Window > > Leo 4.11 final, build 20140919170459, Fri Sep 19 17:04:59 CDT 2014 > > Git repo info: branch = master, commit = 627f387aaea2 > > Python 2.7.6, PyQt version 4.8.6 > > linux2 > > > > Cheers -Terry > > > > > Thanks. > > > > > > -- 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 http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
