On Sunday, January 21, 2018 at 11:24:30 AM UTC-6, Edward K. Ream wrote: 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. >
Done. I plan no further work on this project and have closed #597 <https://github.com/leo-editor/leo-editor/issues/597>. Among other things, this means that I plan no support for labels or user ratings. These would be very minor improvements. The tips dialog might benefit from better formatting, say using markdown rendering, but I'll leave that to others to do if they think it is important. 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.
