From 360bf2dd2e7e1a76fa3e71243c1dcf06c17ff7a6 Mon Sep 17 00:00:00 2001
From: marche
Date: Fri, 19 Sep 2003 09:26:08 +0000
Subject: coqide auto complete initial bug fix

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4425 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide.ml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/ide/coqide.ml b/ide/coqide.ml
index d36b5a1a60..f466bafaff 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -587,7 +587,7 @@ object(self)
   val mutable last_auto_save_time = 0.
   val mutable detached_views = []
 
-  val mutable auto_complete_on = false
+  val mutable auto_complete_on = !current.auto_complete
 
   method private toggle_auto_complete = 
     auto_complete_on <- not auto_complete_on
@@ -2044,14 +2044,17 @@ let main files =
   ignore (edit_f#add_separator ());
 
 
+(*
    let toggle_auto_complete_i = 
     edit_f#add_check_item "_Auto Completion" 
       ~active:!current.auto_complete
-      ~callback:(fun b -> match (get_current_view()).analyzed_view with
-   | Some av -> av#set_auto_complete b
-   | None -> ())
+      ~callback:
    in
-   auto_complete := toggle_auto_complete_i#set_active ;
+*)
+   auto_complete := 
+   (fun b -> match (get_current_view()).analyzed_view with
+      | Some av -> av#set_auto_complete b
+      | None -> ());
    let read_only_i = edit_f#add_check_item "Expert" ~active:false
 		      ~key:GdkKeysyms._B
 		      ~callback:(fun b -> ()
-- 
cgit v1.2.3