method x =
      fst (Gdk.Window.get_position toplevel#misc#window)