feedback/questions on myLeoSettings.leo and mod_autosave

[Terrence Brannon]

In this thread: https://groups.google.com/forum/#!topic/leo-editor/VyLOUqf-mpE

I was instructed as follows: To customize, make sure @bool mod-autosave-active = True (in your myLeoSettings.leo) and set the interval as you like, again in your myLeoSettings.leo.

At that point, I did a complete search of my Windows hard disk for myLeoSettings.leo and did not find it. 

So then I did a search on leo-editor.com for myLeoSettings.py:

and I read the first two links:

Feedback on Link 1: the link says " ~/myLeoSettings.leo contains your personal settings. Leo will not create this file automatically: you should create it yourself. " 

1. one wonders what "~" is... this is unix terminology for a cross-platform editor. The real scoop on  ~ aka HOME is actually revealed here and you can find HOME if you take a look at the log when you startup. 
2. This link says "you should create it" but it does not suggest file -> settings -> open myLeoSettings.leo as a way to do this that creates the file if it does not exist.

Feedback on Link 2

The average user will not want to run a Python expression to locate HOME. It would be good to mention that the startup log tells you where your HOME is.

Question:

When I navigate to File -> Plugins -> mod_autosave, it lists two variables with an "@" sign in front of them. Should I put these variables in the file with an @ sign in front of them?

[Matt Wilkie]

Thanks Terrance. I flagged the doc corrections so they don't get forgotten at at https://github.com/leo-editor/leo-editor/issues/1456