From 24a30fc1a0ec4128a7123e56628e59ae70ec4ba8 Mon Sep 17 00:00:00 2001
From: barras
Date: Thu, 29 May 2008 15:28:50 +0000
Subject: 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
---
 ide/ideutils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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);
     
-- 
cgit v1.2.3