Re: [PATCH] Respect buffer-local value of `org-edit-src-content-indentation'

2019-11-19 Thread Sebastian Miele
Hi Nicolas, Nicolas Goaziou writes: > Sebastian Miele writes: > >> The Org default of org-edit-src-content-indentation is 2. I like that >> value and leave it that way. Worg's root .dir-locals sets it to 0 >> buffer-locally in at least many Worg's Org files. Hence, when I edit an >> src block

Re: mobile org

2019-11-19 Thread Richard Lawrence
Neil Jerram writes: > If org-web and organice are browser-based, why do they need syncing? Could > the server be your regular non-mobile Org machine? Presumably yes, if you're willing to keep it online and run a WebDAV server on it. > On Tue, 19 Nov 2019 at 08:57, Diego Zamboni wrote: >>

Re: mobile org

2019-11-19 Thread Charles Philip Chan
Anssi Saari writes: Hi Anssi, > Just curious but what do you sync to with Foldersync? To a directory on my computer via sftp >> However, I have been following Orgzly's development, Webdav and git >> sync have just been implemented. > > I hadn't noticed git sync? You won't see it yet:

Re: [PATCH] Respect buffer-local value of `org-edit-src-content-indentation'

2019-11-19 Thread Nicolas Goaziou
Hello, Sebastian Miele writes: > The Org default of org-edit-src-content-indentation is 2. I like that > value and leave it that way. Worg's root .dir-locals sets it to 0 > buffer-locally in at least many Worg's Org files. Hence, when I edit an > src block in a Worg file, the value of

Re: mobile org

2019-11-19 Thread Neil Jerram
If org-web and organice are browser-based, why do they need syncing? Could the server be your regular non-mobile Org machine? On Tue, 19 Nov 2019 at 08:57, Diego Zamboni wrote: > Hm... organice is suspiciously similar to https://org-web.org/, which I > had seen before. Even the Sample files

Re: mobile org

2019-11-19 Thread Diego Zamboni
Hm... organice is suspiciously similar to https://org-web.org/, which I had seen before. Even the Sample files are almost identical. Looking at the github history, organice seems to be a fork of org-web, but with more recent development. --Diego On Mon, Nov 18, 2019 at 10:10 PM Richard