On Tue, Nov 28, 2017 at 8:39 AM, vitalije <[email protected]> wrote:
I have just created a new issue > <https://github.com/leo-editor/leo-editor/issues/597>, and want to > discuss it here. > ​Excellent. I am editing this issue as I type this. Imo, using Leo's existing issue tracker is a far better way to keep track of tips than using a spreadsheet: GitHub issues look great, are easily editable, allow for extended discussions, etc. I have just created this tip issue: Tip: Alt-A. <https://github.com/leo-editor/leo-editor/issues/605> The tip itself is just: Alt-A (sort-siblings) sorts all the child nodes of their parent, or all top-level nodes. At present, it lists the tags as Commands, Beginner. We can debate the exact form of this tip in the issue ;-) I strongly suggest that tips should *not* start with "Did you know that...". Instead, the dialog that shows the tips could have that as it's title, perhaps with a "Tip" icon. I am going to create Tip issues for the other examples you gave. We can close each tip issue once it is entered into the database used to display tips at startup. 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.
