commented out overwrite confirmation handler (requires lablgtk >=2.10)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11019 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 1 insertions, 1 deletions

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index b2773d541d..c4c2c0da82 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -205,7 +205,7 @@ let select_file_for_save ~title ?(dir = last_dir) ?(filename="") () =
     file_chooser#add_select_button_stock `SAVE `SAVE ;
     file_chooser#add_filter (filter_coq_files ());
     file_chooser#add_filter (filter_all_files ());
-    file_chooser#set_do_overwrite_confirmation true;
+(*    file_chooser#set_do_overwrite_confirmation true;*)
     ignore (file_chooser#set_current_folder !dir);
     ignore (file_chooser#set_current_name filename);