[jedit:plugin-bugs] #1921 Highlight: append highlights not deactivatable

Hey, I am not sure what do you want exactly. But the option "append highlight" only means that when creating a new highlight it will replace the previous one. If you want to have several rules then it is not the option you are looking for.


---

** [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:43 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. Maybe, I just have a wrong understanding.

[System properties](https://sourceforge.net/p/jedit/plugin-bugs/1920/attachment/computer_1_system.properties)
[jEdit properties](https://sourceforge.net/p/jedit/plugin-bugs/1920/attachment/computer_1_jedit.properties)
[Look and Feel properties](https://sourceforge.net/p/jedit/plugin-bugs/1920/attachment/computer_1_lookandfeel.properties)

![Append switched off but overlayed](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_32_53-Plugin%20Options.png)
![Append switched on and overlayed](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_33_38-Plugin%20Options.png)
![Append switched off and more general rule switched off](https://sourceforge.net/p/jedit/plugin-bugs/1921/attachment/2022-09-20%2009_34_50-Plugin%20Options.png)


---

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