Re: todo.txt plugin anywhere?
sigzero <[email protected]>
| Newsgroups | gmane.editors.jedit.user |
|---|---|
| Message-ID | <CALp+1QuHjc-qbd=LOVsqyfHC4FjO-EP+d-4t76o=hNAHkU+4gA@mail.gmail.com> |
Thanks! Bob On Mon, Jul 24, 2017 at 7:26 PM, Eric Berry <[email protected]> wrote: > Nice Dale! Thanks for the pointer - I never knew this was there. There is > indeed a way to do this through the jEdit Global Options. > > "Global Options" -> "Editing" -> "Edit Modes" Tab. > > Mode Name: "todo" > File Name Glob: "{*todo.txt,*.todo}" > > Cheers, > Eric > > On Mon, Jul 24, 2017 at 4:15 PM, Dale Anson <[email protected]> wrote: > >> I'm not in front of a computer at the moment, but I'm pretty sure you can >> add a new mode from the jEdit options, in the edit modes section by >> pointing and clicking. You pick the file and jEdit puts the mode file in >> the right place and automatically adjusts the catalog file, so you don't >> have to do it by hand. >> >> On Jul 24, 2017 2:58 PM, "Eric Berry" <[email protected]> wrote: >> >>> Sorry for the late followup. >>> >>> I've uploaded my todo.xml mode file to the daily build server: >>> http://www.tellurianring.com/projects/jedit-daily/ >>> >>> To Install: >>> >>> 1. Download the todo.xml file >>> 2. Save/move/copy it into your [jedit-settings-dir]/modes >>> 1. Easy way to see this is in jEdit. Use "Utilities" -> "Settings >>> Directory" -> "modes" >>> 3. Edit the catalog found in the "modes" directory (step 2) >>> 1. Add a new mode entry for "todo". I've added a comment at the >>> top of the todo.xml file with the correct syntax. >>> 4. You shouldn't need to, but you might want to restart jEdit. >>> >>> After that, any filename ending with "todo.txt" or ".todo" will be >>> loaded in the todo syntax. >>> >>> On Fri, Jul 21, 2017 at 10:40 AM, sigzero <[email protected]> wrote: >>> >>>> Thanks, I will look at both! >>>> >>>> On Fri, Jul 21, 2017 at 1:22 PM, Eric Berry <[email protected]> wrote: >>>> >>>>> I have a todo.txt mode file on my home machine. I'll upload it to the >>>>> daily build site a little later. >>>>> >>>>> On Fri, Jul 21, 2017 at 9:50 AM, FORREST EVANS < >>>>> [email protected]> wrote: >>>>> >>>>>> 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' [email protected]://lists.sourceforge.net/lists/listinfo/jedit-users >>>>>> >>>>>> >>>>>> ------------------------------------------------------------ >>>>>> ------------------ >>>>>> 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 >>>>>> [email protected] >>>>>> https://lists.sourceforge.net/lists/listinfo/jedit-users >>>>>> >>>>>> >>>>> >>>>> >>>>> -- >>>>> Learn from the past. Live in the present. Work towards the future. >>>>> Blog: http://eric-berry.blogspot.com >>>>> jEdit <http://www.jedit.org> - Programmer's Text Editor >>>>> >>>> >>>> >>> >>> >>> -- >>> Learn from the past. Live in the present. Work towards the future. >>> Blog: http://eric-berry.blogspot.com >>> jEdit <http://www.jedit.org> - Programmer's Text Editor >>> >>> ------------------------------------------------------------ >>> ------------------ >>> 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 >>> [email protected] >>> https://lists.sourceforge.net/lists/listinfo/jedit-users >>> >>> > > > -- > Learn from the past. Live in the present. Work towards the future. > Blog: http://eric-berry.blogspot.com > jEdit <http://www.jedit.org> - Programmer's Text Editor > ------------------------------------------------------------------------------ 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 [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-users