I've enabled for now automatic line numbering for bash (seems is the only language that exhibits this problem), which works around the problem.