diff options
Diffstat (limited to 'ide/wg_ProofView.ml')
-rw-r--r-- | ide/wg_ProofView.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 |