Small program to detect window resize

lablgtk_resize.ml

let () =
  ignore @@ GMain.Main.init ();
  let window = GWindow.window ~width:100 ~height:100 () in
  ignore @@ window#event#connect#configure ~callback:(fun ev ->
      let open GdkEvent.Configure in
      prerr_endline (Printf.sprintf "Configure %dx%d+%d+%d"
                       (width ev)
                       (height ev)
                       (x ev)
                       (y ev));
      false);
  window#show ();
  GMain.Main.main ()