let main () =
  Rep_args.parse_gui ();

  let _ = GMain.Main.init () in
  let _gui = new Rep_gui.gui !Rep_args.gui_files in
  GMain.Main.main ()