Use gtk_text_buffer_insert_markup() from GTK+