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