I have just created the tips branch 
<https://github.com/leo-editor/leo-editor/tree/tips>.  This will contain 
work related to #597: Show tips when Leo starts up. 
<https://github.com/leo-editor/leo-editor/issues/597>

This Engineering Notebook post documents implementation details and work to 
do. It will be pre-writing for documentation.

The tips branch defines a new setting in leoSettings.leo: @bool show-tips = 
True.  When True, Leo will show "Leo Tips" dialog on startup.  The present 
code is rudimentary, but illustrates a number of subtle issues.

Here is the present tips dialog:




If the user unchecks the "Show tips on startup", Leo will open 
myLeoSettings.leo, choosing or creating the @bool show-tips node.  There 
are a few things to say about this:

1. The code should open the @bool show-tips node in the present file, if it 
exists, rather than myLeoSettings.leo.

2. The present code finds only @bool show-tips, not alternatives like @bool 
show_tips or @bool showtips.

3. The code should be generalized as above and be made a tool, accessible 
via the c.config and (maybe) the g.app.config classes.

A number of other improvements must be made before this feature becomes 
usable:

4. Real tips should be shown.

5. There must be support for Leo's stylesheets, and a standard dialog size 
should be used.

All comments 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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Reply via email to