|
From: FORREST E. <for...@ad...> - 2017-07-21 16:51:36
|
Have you looked at the "TaskList" plugin? http://plugins.jedit.org/plugins/?TaskList -- Thanks, Forrest On Fri, 2017-07-21 at 12:24 -0400, sigzero wrote: I am looking to use jEdit to take notes and I currently use the super simple todo.txt way but I'd like to use jEdit for this too. https://github.com/ginatrapani/todo.txt-cli/wiki/The-Todo.txt-Format ------------------------------------------------------------------------------ Check out the vibrant tech community on one of the world's most engaging tech sites, Slashdot.org! http://sdm.link/slashdot -- ----------------------------------------------- jEdit Users' List jEd...@li...<mailto:jEd...@li...> https://lists.sourceforge.net/lists/listinfo/jedit-users |