User-highlight should be shown

[koppor]

Context: JabRef/jabref#12990

The CSS class of user highlights should have higher priority

If i highlight typeBAsedOnDefaultBibtex, nothing is reflected in the UI. I expect these letters to be highlighted in blue.

[tsantalis]

@koppor
I am not sure what you mean by user-highlight.
If you mean search, both Browser search and Editor search are working together as shown in the screenshot.

[koppor]

TL;DR: I mean text selection using the mouse.

I move the mouse to a letter. I hold down the left mouse button. I move the mouse to the left. I raise the left mouse button. I expect all letters in the way between click and release of the left mouse button to have a different colour than before.

Also during dragging the mouse (meaning left mouse button is hold), the letters should be highlighted being "on the way" of the point I started dragging.

Note that in text fields "dragging" is just starting highlighting words. Similar to VS.Code. There, one also can use the mouse plus click to select text.

[tsantalis]

@pouryafard75
When we select some code by dragging the mouse with left-mouse pressed, the code gets highlighted with blue color.
But our decorations (deleted, updated, added, moved) are remaining as is, and do not get highlighted in blue.

Is this something we can fix. I am not sure.
In the screenshot below, you can see the update Collections.singletonList remains pink.

[pouryafard75]

All of my attempts have failed so far.

[tsantalis]

@koppor @pouryafard75
Unfortunately, we cannot fix this issue

[pouryafard75]

@tsantalis This is the best that we can provide.

Shall I submit the PR? It's better than what we had before.