From 626aaf5652589ae69e95756859ced47e81b25b17 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 4 Feb 2015 18:13:42 +0100
Subject: Fixing bug #3996.

---
 ide/ideutils.ml | 5 +----
 1 file changed, 1 insertion(+), 4 deletions(-)

(limited to 'ide')

diff --git a/ide/ideutils.ml b/ide/ideutils.ml
index d2305b58c1..a869442696 100644
--- a/ide/ideutils.ml
+++ b/ide/ideutils.ml
@@ -175,10 +175,7 @@ let select_file_for_save ~title ?filename () =
   file_chooser#add_select_button_stock `SAVE `SAVE ;
   file_chooser#add_filter (filter_coq_files ());
   file_chooser#add_filter (filter_all_files ());
-  (* this line will be used when a lablgtk >= 2.10.0 is the default
-     on most distributions:
-     file_chooser#set_do_overwrite_confirmation true;
-  *)
+  file_chooser#set_do_overwrite_confirmation true;
   file_chooser#set_default_response `SAVE;
   let dir,filename = match filename with
     |None -> !last_dir, ""
-- 
cgit v1.2.3


From cdfb6705e0a2d01b7c01d83bfe898a64ee148c34 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 6 Feb 2015 21:35:36 +0100
Subject: More efficient Richpp.

We build the rich XML at once without generating the printed string.
---
 ide/ide_slave.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index ac38f1ea5a..f4b81a241b 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -123,7 +123,7 @@ let annotate phrase =
     let pa = Pcoq.Gram.parsable (Stream.of_string phrase) in
     Vernac.parse_sentence (pa,None)
   in
-  let (_, _, xml) =
+  let (_, xml) =
     Richprinter.richpp_vernac ast
   in
   xml
-- 
cgit v1.2.3


From d3a15be9e97bf5f509b64f48d787e808866d922f Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 9 Feb 2015 09:46:05 +0100
Subject: Making undo/redo atomic in CoqIDE.

---
 ide/wg_ScriptView.ml | 12 ++++++++++--
 1 file changed, 10 insertions(+), 2 deletions(-)

(limited to 'ide')

diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml
index 1f3990708a..5d21efd956 100644
--- a/ide/wg_ScriptView.ml
+++ b/ide/wg_ScriptView.ml
@@ -186,11 +186,19 @@ object(self)
 
   method undo () =
     Minilib.log "UNDO";
-    self#with_lock_undo self#perform_undo ();
+    self#with_lock_undo begin fun () ->
+      buffer#begin_user_action ();
+      self#perform_undo ();
+      buffer#end_user_action ()
+    end ()
 
   method redo () =
     Minilib.log "REDO";
-    self#with_lock_undo self#perform_redo ();
+    self#with_lock_undo begin fun () ->
+      buffer#begin_user_action ();
+      self#perform_redo ();
+      buffer#end_user_action ()
+    end ()
 
   method process_begin_user_action () =
     (* Push a new level of event on history stack *)
-- 
cgit v1.2.3