method height =
      snd (Gdk.Drawable.get_size toplevel#misc#window)