Re: leo_cloud coolness and gotchas

On Friday, June 15, 2018 at 2:34:59 PM UTC-4, Terry Brown wrote: > I could implement something like > > root: ~/DropBox/leo_cloud | D:\scratch\leo_cloud | > //incco/share/a/user/fred/DropBox/leo_cloud > > (i.e. | separated alternatives) and it could use the first one that > exists according

Re: leo_cloud coolness and gotchas

On Fri, 15 Jun 2018 09:00:44 -0700 (PDT) Rob wrote: > That works, but the path is different to the DropBox (or Google > Drive) local folders on different machines and OS's. That's not a > problem for the leoSettings file, but I can't use that strategy for > other use cases I envision. I had not

Re: leo_cloud coolness and gotchas

That works, but the path is different to the DropBox (or Google Drive) local folders on different machines and OS's. That's not a problem for the leoSettings file, but I can't use that strategy for other use cases I envision. Also, thanks for the clarification on JSON. Rob... > > What I was t

Re: leo_cloud coolness and gotchas

On Fri, 15 Jun 2018 08:23:18 -0700 (PDT) Rob wrote: > Recently, I discovered the excellent and useful plugin, leo_cloud.py > (thanks Terry Brown!) My initial interest was to find an easier way > to sync myLeoSettings across multiple machines, locations and OS's. I > see additional uses for this

leo_cloud coolness and gotchas

Recently, I discovered the excellent and useful plugin, leo_cloud.py (thanks Terry Brown!) My initial interest was to find an easier way to sync myLeoSettings across multiple machines, locations and OS's. I see additional uses for this plugin beyond just the settings files. First, a potential `

Away until Monday

Rebecca and I will be in Michigan until Sunday night. I don't plan to bring a computer, though I will monitor email on my cell phone. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving email

Re: Leo 5.7.3 released

On Thu, Jun 14, 2018 at 3:55 PM, Matt Wilkie wrote: > > Leo 5.7.3, http://leoeditor.com, is now available on GitHub >> . >> >> Leo is an IDE, outliner and PIM, as described here >> . >> > > ...and on PyPi now. > ​Thanks

Re: File > New

On Thu, Jun 14, 2018 at 8:42 PM, 'tfer' via leo-editor < leo-editor@googlegroups.com> wrote: > Thanks, I thought that might be the case though I couldn't think of why > the change. > ​The branch name is useful to remind devs which branch they are on. It does not appear if you aren't running from