try GTK 3: some visual dropouts, but more stable e.g. in Sidekick "isabelle-markup";