> > > 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. >
That was also my intention, but I thought to strip that part from all written tips and put it in the dialog title. Starting with "Did you know that..." (or similar) was used in jEdit. and I found such formulation a bit inspiring for writing tips in the first place. About the idea to keep all tips in a spreadsheet: I thought it would be convenient for later programmatic use (it is trivial to read an exported csv file) and perhaps transform it to any other format (json, yaml, ...). The disadvantage though is that it is not possible (or not easy) to use mark-down. I suppose that collecting issues from github can be also scripted/automated not as easy as reading csv, but certainly doable. Some of currently visible tip-issues are new to me as well. 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.
