Le 09/12/2016 à 12:59, mn a écrit :
This setting dwells under a different Settings group named Look&Feel?
There I can only change the color of this solid line, not its thickness
or position.
And in my eyes the line itself is the problem, not its color.

I understand your arguments, but this is all we have now. I am not completely sure of what a good UI (visible but not obnoxious) would be.

Note that one can see whether the language at cursor position is different from default by looking at the status bar.

JMarc

Reply via email to