down_button = new GButton.button (GtkButton.Button.cast (Glade.get_widget_msg ~name:"down_button" ~info:"GtkButton" xmldata))