From 1d39965a694698c3df238fc424203c6b77b067e7 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Sun, 15 Feb 2015 20:30:15 +0100
Subject: Selecting whole words on double-click in CoqIDE.

Fixes bug #4026.
---
 ide/wg_ProofView.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ide/wg_ProofView.ml')

diff --git a/ide/wg_ProofView.ml b/ide/wg_ProofView.ml
index a33f2c591..b12d29d6c 100644
--- a/ide/wg_ProofView.ml
+++ b/ide/wg_ProofView.ml
@@ -181,6 +181,7 @@ let proof_view () =
   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
-- 
cgit v1.2.3