[jedit:plugin-bugs] #1921 Highlight: append highlights not deactivatable
Thiemo Kellner via jEdit-devel <[email protected]>
| Newsgroups | gmane.editors.jedit.devel |
|---|---|
| Message-ID | <[email protected]> |
--- ** [plugin-bugs:#1921] Highlight: append highlights not deactivatable** **Status:** open **Group:** **Created:** Tue Sep 20, 2022 08:38 AM UTC by Thiemo Kellner **Last Updated:** Tue Sep 20, 2022 08:38 AM UTC **Owner:** nobody **Attachments:** - [2022-09-20 09_32_53-Plugin Options.png](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_32_53-Plugin%20Options.png) (121.5 kB; image/png) - [2022-09-20 09_33_38-Plugin Options.png](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_33_38-Plugin%20Options.png) (116.7 kB; image/png) - [2022-09-20 09_34_50-Plugin Options.png](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_34_50-Plugin%20Options.png) (114.8 kB; image/png) Hi I have set up some rules and would like them not to be shown accumulative. I was under the impression that the "Append highlight" option in the plugin options would be precisely what I was looking for but it does not seem to work. --- Sent from sourceforge.net because [email protected] is subscribed to https://sourceforge.net/p/jedit/plugin-bugs/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-bugs/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