Imported Upstream version 8.5~beta2+dfsgupstream/8.5_beta2+dfsg

1 files changed, 5 insertions, 0 deletions

diff --git a/ide/wg_ProofView.ml b/ide/wg_ProofView.ml
index 7e7a311e..b12d29d6 100644
--- a/ide/wg_ProofView.ml
+++ b/ide/wg_ProofView.ml
@@ -9,6 +9,7 @@
 class type proof_view =
   object
     inherit GObj.widget
+    method buffer : GText.buffer
     method refresh : unit -> unit
     method clear : unit -> unit
     method set_goals : Interface.goals option -> unit
@@ -176,9 +177,11 @@ let proof_view () =
     ~highlight_matching_brackets:true
     ~tag_table:Tags.Proof.table ()
   in
+  let text_buffer = new GText.buffer buffer#as_buffer in
   let view = GSourceView2.source_view
     ~source_buffer:buffer ~editable:false ~wrap_mode:`WORD ()
   in
+  let () = Gtk_parsing.fix_double_click view in
   let default_clipboard = GData.clipboard Gdk.Atom.primary in
   let _ = buffer#add_selection_clipboard default_clipboard in
   object
@@ -186,6 +189,8 @@ let proof_view () =
     val mutable goals = None
     val mutable evars = None
 
+    method buffer = text_buffer
+
     method clear () = buffer#set_text ""
 
     method set_goals gls = goals <- gls