external get_focus : [>`window] obj -> widget obj
      = "ml_gtk_window_get_focus"