void textViewUpdate(string str) { TextBuffer tb = new TextBuffer (new TextTagTable()); tb.Text = str; textview_query.Buffer = tb; return; }