The trick here was to _not_ set the format in initializeGL,
that caused all the crashes...

There is one big problem: the trilinear filtering causes weirdness
when zoom < 100%. First new lines get gray, then they disappear.

More investigation is needed.