diff options
author | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-20 15:49:13 +0000 |
---|---|---|
committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2013-02-20 15:49:13 +0000 |
commit | 209ec7628f7d64cac76f0edae5ca2be4c952ced5 (patch) | |
tree | 16a3131691b2b415fa83da7afbb9937300cea6d6 /ide/wg_ScriptView.ml | |
parent | 62a474168c3416777138615c469560fcb85b86fc (diff) |
CoqIDE: Including autocompletion in word proposals
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16227 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/wg_ScriptView.ml')
-rw-r--r-- | ide/wg_ScriptView.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ide/wg_ScriptView.ml b/ide/wg_ScriptView.ml index 6d7dc6bcc..8796d3581 100644 --- a/ide/wg_ScriptView.ml +++ b/ide/wg_ScriptView.ml @@ -278,7 +278,7 @@ class script_view (tv : source_view) (ct : Coq.coqtop) = let view = new GSourceView2.source_view (Gobject.unsafe_cast tv) in let completion = new Wg_Completion.complete_model ct view#buffer in -let _ = new Wg_Completion.complete_popup completion (view :> GText.view) in +let popup = new Wg_Completion.complete_popup completion (view :> GText.view) in object (self) inherit GSourceView2.source_view (Gobject.unsafe_cast tv) as super @@ -397,6 +397,8 @@ object (self) self#buffer#delete_mark (`MARK stop_mark) | _ -> () + method complete_popup = popup + method undo = undo_manager#undo method redo = undo_manager#redo method clear_undo = undo_manager#clear_undo |