protected void Clear() { foreach (object obj in lines) { if (obj is Widget) ((Widget)obj).Destroy (); else if (obj is Pair) { Pair p = (Pair)obj; p.Label.Destroy (); p.Editor.Destroy (); } } lines.Clear (); tips = new Gtk.Tooltips (); }