Menu ▾ ▴

#1921 Highlight: append highlights not deactivatable

None
open
nobody
None
5
2022-09-20
2022-09-20
Thiemo Kellner
No

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
jEdit properties
Look and Feel properties

Append switched off but overlayed
Append switched on and overlayed
Append switched off and more general rule switched off

3 Attachments
2022-09-20 09_32_53-Plugin Options.png
2022-09-20 09_33_38-Plugin Options.png
2022-09-20 09_34_50-Plugin Options.png

Discussion

  • Thiemo Kellner

    Thiemo Kellner - 2022-09-20
    • 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: -->
     

  • Thiemo Kellner

    Thiemo Kellner - 2022-09-20
    • Description has changed:

    Diff:

    --- old
+++ new
@@ -2,6 +2,10 @@

 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)
     

  • Matthieu Casanova

    Matthieu Casanova - 2022-09-20

    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.

     

Log in to post a comment.