[jedit:plugin-feature-requests] Re: #398 TaskList: proposal for additional default tags
Thiemo Kellner via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | </p/jedit/plugin-feature-requests/398/998cf87c25cbfa39ccecfac4e984308a67295010.plugin-feature-requests@jedit.p.sourceforge.net> |
Thanks for replying. Yes, I do know. That is why I could cough up the properties. I just thought, I would not be the only one interested in bad habits. ;-) --- ** [plugin-feature-requests:#398] TaskList: proposal for additional default tags** **Status:** open **Group:** **Labels:** TaskList **Created:** Wed Sep 14, 2022 04:57 PM UTC by Thiemo Kellner **Last Updated:** Thu Sep 15, 2022 08:54 AM UTC **Owner:** nobody **Attachments:** - [TaskList.props](https://sourceforge.net/p/jedit/plugin-feature-requests/398/attachment/TaskList.props) (10.7 kB; application/octet-stream) I find myself programming code that has parts in it that are meant to get adapted. I therefore propose two new tasks to mark begin and end of such parts. Please find attached an untested property file sporting those tasks. I know, such programming is rather bad style but whatever customer I get to, is using even worse patterns. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-feature-requests/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list. -- ----------------------------------------------- jEdit Developers' List [email protected] https://lists.sourceforge.net/lists/listinfo/jedit-devel