Selected text with textmark and selection without textmark different style

  1. User types in a query (see screenshot 1).
  2. User runs the syntax correct query so it gets green (see screenshot 2).
  3. User continues working with his query by typing more text.
  4. User for some reason selects a piece of his new query of which some has green textmark (“plant”) and some (“where kleur=‘ROOD’”) none.

Is it possible to make “plant” darkgreen for example and the rest of the selection “where kleur=‘ROOD’” grey as it is.

Screenshot 1:

Screenshot 2:

Screenshot 3:

Screenshot 4:

You should be able to define your own style for, if you marker is using the my-marker-style class, { background: yellow }, and have that applied to text that is both marked and selected (I’m assuming you’re using the mark-selection addon to get rid of the regular marked background).