properties: Port to GtkBuilder