A simple example of the use of the GtkUIManager class written in Vala