Hi, Seems that the enhancement proposal is already in good shape at [1], pointing to threads and implementation details where we have talked about this. I don't know how to make them part of the GitHub Jupyter project though.
[1] https://github.com/leo-editor/leo-editor/issues/366 Cheers, Offray On 24/10/17 05:12, Edward K. Ream wrote: > On Tue, Oct 24, 2017 at 4:54 AM, lewis <lewisn...@operamail.com > <mailto:lewisn...@operamail.com>> wrote: > > > If the task is complex and bigger than a mere enhancement, maybe > consider using github projects: > https://help.github.com/articles/creating-a-project-board/ > <https://help.github.com/articles/creating-a-project-board/> > This may help good ideas getting lost in the stream of discussions. > > > Thanks. I didn't know this existed. I've created this project > <https://github.com/leo-editor/leo-editor/projects> for Jupyter > integration. > > 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 > <mailto:leo-editor+unsubscr...@googlegroups.com>. > To post to this group, send email to leo-editor@googlegroups.com > <mailto: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. -- 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.