]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/hbugs/client/hbugs_client.ml
First release that compiles under lablgtk2 (but it does not work, actually!)
[helm.git] / helm / hbugs / client / hbugs_client.ml
index 1cab49c7609e361e7de3c52c9e498d941eafc443..f15a6357b470fbbd1a1bf6742e34558d4903a7a8 100644 (file)
@@ -133,6 +133,7 @@ class hbugsClient
           subscribeWindow#subscribeWindow#show ()));
 
         (* GUI: hints list *)
+(*CSC: per farlo compilare
       ignore (mainWindow#hintsCList#connect#select_row
         (fun ~row ~column ~event ->
           match event with
@@ -141,6 +142,7 @@ class hbugsClient
           | Some event ->
               describe_hint_callback (self#hint row)
           | _ -> ()));
+*)
 
         (* GUI: main status bar *)
       let ctxt = mainWindow#mainWindowStatusBar#new_context "0" in
@@ -151,7 +153,8 @@ class hbugsClient
       ignore (subscribeWindow#subscribeWindow#event#connect#delete
         (fun _ -> subscribeWindow#subscribeWindow#misc#hide (); true));
       ignore (subscribeWindow#listTutorsButton#connect#clicked self#listTutors);
-      let tutor_id_of_row row = subscribeWindow#tutorsCList#cell_text row 0 in
+      let tutor_id_of_row row = (*CSC: per farlo compilare subscribeWindow#tutorsCList#cell_text row 0*) "Kaboom" in
+(*CSC: per farlo compilare
       ignore (subscribeWindow#tutorsCList#connect#select_row
         (fun ~row ~column ~event ->
           let new_id = tutor_id_of_row row in
@@ -162,11 +165,12 @@ class hbugsClient
         (fun ~row ~column ~event ->
           selectedTutors <-
             List.filter ((<>) (tutor_id_of_row row)) selectedTutors));
+*)
       ignore (subscribeWindow#subscribeButton#connect#clicked
         self#subscribeSelected);
       ignore (subscribeWindow#subscribeAllButton#connect#clicked
         self#subscribeAll);
-      subscribeWindow#tutorsCList#set_column ~visibility:false 0;
+      (subscribeWindow#tutorsCList#get_column 0)#set_visible false;
       let ctxt = subscribeWindow#subscribeWindowStatusBar#new_context "0" in
       subscribeWindowStatusContext <- Some ctxt;
       ignore (ctxt#push "Ready");
@@ -248,7 +252,8 @@ Error: %s"
                 List.iter
                   (fun h ->
                     (match h with Hints _ -> assert false | _ -> ());
-                    ignore (mainWindow#hintsCList#append [string_of_hint h]))
+(*CSC: per farlo compilare
+                    ignore (mainWindow#hintsCList#append [string_of_hint h])*))
                   received_hints;
                 hints <- hints @ received_hints;
                 Hbugs_messages.respond_msg (Wow myOwnId) outchan
@@ -336,7 +341,9 @@ Error: %s"
 *)
 
     method stateChange new_state =
+(*CSC: per farlo compilare
       mainWindow#hintsCList#clear ();
+*)
       hints <- [];
       self#sendReq
         ~msg:(State_change (myOwnId, new_state))
@@ -358,10 +365,12 @@ Error: %s"
               availableTutors <-  (* sort accordingly to tutor description *)
                 List.sort (fun (a,b) (c,d) -> compare (b,a) (d,c)) descriptions;
               selectedTutors <- [];
+(*CSC: per farlo compilare
               subscribeWindow#tutorsCList#clear ();
+*)
               List.iter
                 (fun (id, dsc) ->
-                  ignore (subscribeWindow#tutorsCList#append [id; dsc]))
+                  (*CSC: per farlo compilare ignore (subscribeWindow#tutorsCList#append [id; dsc])*)())
                 availableTutors
           | unexpected_msg ->
               self#showDialog
@@ -374,14 +383,17 @@ Error: %s"
         (function
           | (Subscribed (_, subscribedTutors)) as msg ->
               let sort = List.sort compare in
+(*CSC: per farlo compilare
               mainWindow#subscriptionCList#clear ();
+*)
               List.iter
                 (fun tutor_id ->
+(*CSC: per farlo compilare
                   ignore
                     (mainWindow#subscriptionCList#append
                       [ try
                           List.assoc tutor_id availableTutors;
-                        with Not_found -> assert false ]))
+                        with Not_found -> assert false ])*)())
                 tutors_id;
               subscribeWindow#subscribeWindow#misc#hide ();
               if sort subscribedTutors <> sort tutors_id then
@@ -389,7 +401,9 @@ Error: %s"
                   (sprintf "Subscription mismatch\n: %s"
                     (Hbugs_messages.string_of_msg msg))
           | unexpected_msg ->
+(*CSC: per farlo compilare
               mainWindow#subscriptionCList#clear ();
+*)
               self#showDialog
                 (sprintf "Subscription FAILED, unexpected message:\n%s"
                   (Hbugs_messages.string_of_msg unexpected_msg)))