> > > I have just created a new issue >> <https://github.com/leo-editor/leo-editor/issues/597>, and want to >> discuss it here... >> > > >> If we make such list of tips I volunteer to provide some GUI to show a >> tip every time Leo starts or on command show-tip that can be bound to some >> unused key combination. >> > > Is this offer still on the table? I would like to move forward on #597 > <https://github.com/leo-editor/leo-editor/issues/597>. > > Edward >
Yes, it is. But, I got the impression that Terry has already done something about it. I remember there was also some discussion about implementing markdown rendered tips which is cool, but my original intention was to make them very simple (plain text, mono-spaced), like they were in jEdit. ... Just looked into the issue #597, and saw that there is a script for collecting and parsing tips from github. I missed that part earlier. It seems to me that we can have a new command to collect tips and store it in g.app.db['leo-tips']. From there they can be displayed in regular vr pane, or even better, they can be stored in pre-rendered state (as html) and displayed in some standalone window as soon as g.app.db is initialized. If they are stored as html, then there will be no need to wait on whole initialization process to be finished, which means, user can read tip while waiting for initialization to finish. I have never claimed to be very good in PyQt, if you want me to take this, I will. But if you or Terry or someone else with more PyQt skills/affinities wish to implement it I wouldn't mind at all. Vitalije -- 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.
