wf_display =
      new GBin.frame (GtkBin.Frame.cast
        (Glade.get_widget_msg ~name:"wf_display" ~info:"GtkFrame" xmldata))