mutable
insert_text_signal_ids : (int *
GtkSignal
.id) list = []