The new code is in the tips branch <https://github.com/leo-editor/leo-editor/tree/tips>. I'll merge this branch once all related settings work is complete. However, all the existing tips are complete as far as I am concerned.
In the branch, the new @bool show-tips setting is True in leoSettings.leo. When you open Leo, a dialog will appear. Unchecking the check box will create the setting in myLeoSettings.leo. Setting this to False will disable the initial dialog. To do: open the setting in the local .leo file if it exists, and other settings work. Regardless of this setting the show-next-tip command will open the dialog. The dialog shows a random tip. The cache, g.app.db['shown-tips'], contains a list of previously seen tips. When no unseen tips remain, this list is cleared and another tip is randomly chosen. The file leo/core/leoTips.py contains the tips machinery, and all presently defined tips. Do *not* edit previous tips in the issue tracker. They have all been closed. I welcome any editorial suggestions for the tips. leoTips.py contains a heavily revised make_tips script. It creates a UserTip template for all *open* tips issues. (There aren't any such at present). You may run it as follows: import leo.core.leoTips as leoTips leoTips.make_tips(c) Or you can just create a new UserTip entry in the section << define tips >> in leoTips.py. All comments, questions and suggestions welcome. Edward -- 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.
