prec_check =
      new GButton.toggle_button (GtkButton.ToggleButton.cast
        (Glade.get_widget_msg ~name:"prec_check" ~info:"GtkCheckButton" xmldata))