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

- Description has changed:

Diff:

~~~~

--- old
+++ new
@@ -1,4 +1,7 @@
 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.
+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.
 
+![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)

~~~~

- **Group**:  --> 



---

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

![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