Highlighter changes: feedback integration and accessibility improvements

Maybe you should try to understand. That helps. In my former post I presented a weird effect of the implementation:

That leads to:

Take a careful look at following screenshot and think about the consequences in regard to usability

It breaks the following approach:

Actually the old themespecific colour cannot have any meaning in the environment of a multi colour highlighting system as it changes its colour from theme to theme.

I imagine that I have put forward legitimate arguments. You are welcome to counter them by responding to them. But please don’t ignore them.

Try to understand :blush: