private void insert_with_tag_array(Gtk.TextView textview,char what,string[] tags) {
            Gtk.TextIter start_iter;
            Gtk.TextIter end_iter;
            textview.buffer.get_end_iter(out start_iter);
            //stdout.printf("start_iter offset: %d\n",start_iter.get_offset());
            textview.buffer.insert(start_iter,what.to_string(),1);
            textview.buffer.get_end_iter(out end_iter);
            //stdout.printf("end_iter offset: %d\n",end_iter.get_offset());
            foreach(string tag in tags) {
                assert(textview.buffer.tag_table.lookup(tag) != null);
                textview.buffer.apply_tag_by_name(tag,start_iter,end_iter);
            }
        }