Various additions to Gtk#