I created a patch that works for ubuntu... Since it seems that the red squares are solely used to apply selection decoration, I removed it and so it now uses the default selection... (see screenshots for the results)
I created a patch that works for ubuntu...
Since it seems that the red squares are solely used to apply selection decoration, I removed it and so it now uses the default selection...
(see screenshots for the results)