diff options
| author | jnarboux | 2008-05-29 15:39:24 +0000 |
|---|---|---|
| committer | jnarboux | 2008-05-29 15:39:24 +0000 |
| commit | 24339a677942f89a92af244fa2eb83c0132f53d1 (patch) | |
| tree | 92a7315d86e475a51fa9eecf14ea632263e29d0a /ide/ideutils.ml | |
| parent | 24a30fc1a0ec4128a7123e56628e59ae70ec4ba8 (diff) | |
backtrack sur utilisation de do_overwrite_confirmation
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@11020 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/ideutils.ml')
| -rw-r--r-- | ide/ideutils.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ide/ideutils.ml b/ide/ideutils.ml index c4c2c0da82..6a4833ec88 100644 --- a/ide/ideutils.ml +++ b/ide/ideutils.ml @@ -205,7 +205,9 @@ 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;*) + (* this line will be used when a lablgtk >= 2.10.0 is the default on most distributions + file_chooser#set_do_overwrite_confirmation true; + *) ignore (file_chooser#set_current_folder !dir); ignore (file_chooser#set_current_name filename); |