Minor
CharTraits.icc does not seem to be needed anymore
Don’t use gtk_draw_insertion_cursor()

It makes text caret stem width relative to its height which varies
greatly in our case from an item to another and often gives very thin or
very thick lines. Replaced it with a (simplified) implementation that
uses font size instead, so things are consistent.