port: from GnomeUIInfo to GtkUIManager and GtkAction