external get_window : 'a event -> window = "ml_GdkEventAny_window"