~callback:(fun a -> GMain.Main.quit ();callback a));
ignore(m#connect#close
~callback:(fun _ -> GMain.Main.quit ();raise PopupClosed));
~callback:(fun a -> GMain.Main.quit ();callback a));
ignore(m#connect#close
~callback:(fun _ -> GMain.Main.quit ();raise PopupClosed));
let ask_text ~(gui:#gui) ?(title = "") ?(msg = "") ?(multiline = false) () =
let dialog = gui#newEmptyDialog () in
dialog#emptyDialog#set_title title;
let ask_text ~(gui:#gui) ?(title = "") ?(msg = "") ?(multiline = false) () =
let dialog = gui#newEmptyDialog () in
dialog#emptyDialog#set_title title;