method width =
      fst (Gdk.Drawable.get_size toplevel#misc#window)