1 files changed, 46 insertions, 46 deletions

diff --git a/ide/utils/editable_cells.ml b/ide/utils/editable_cells.ml
index 5441f4ab..1ab107c7 100644
--- a/ide/utils/editable_cells.ml
+++ b/ide/utils/editable_cells.ml
@@ -1,21 +1,21 @@
 open GTree
 open Gobject
 
-let create l = 
+let create l =
   let hbox = GPack.hbox () in
-  let scw = GBin.scrolled_window 
-	      ~hpolicy:`AUTOMATIC 
-	      ~vpolicy:`AUTOMATIC 
+  let scw = GBin.scrolled_window
+	      ~hpolicy:`AUTOMATIC
+	      ~vpolicy:`AUTOMATIC
 	      ~packing:(hbox#pack ~expand:true) () in
 
   let columns = new GTree.column_list in
   let command_col =  columns#add Data.string in
   let coq_col = columns#add Data.string in
   let store = GTree.list_store columns
-  in 
+  in
 
 (* populate the store *)
-  let _ = List.iter (fun (x,y) -> 
+  let _ = List.iter (fun (x,y) ->
 		       let row = store#append () in
 		       store#set ~row ~column:command_col x;
 		       store#set ~row ~column:coq_col y)
@@ -27,61 +27,61 @@ let create l =
   view#set_rules_hint true;
 
   let renderer_comm = GTree.cell_renderer_text [`EDITABLE true]  in
-  ignore (renderer_comm#connect#edited 
-    ~callback:(fun (path:Gtk.tree_path) (s:string) -> 
-		 store#set 
-		 ~row:(store#get_iter path) 
+  ignore (renderer_comm#connect#edited
+    ~callback:(fun (path:Gtk.tree_path) (s:string) ->
+		 store#set
+		 ~row:(store#get_iter path)
 		 ~column:command_col s));
-  let first = 
-    GTree.view_column ~title:"Coq Command to try" 
-      ~renderer:(renderer_comm,["text",command_col]) 
-      () 
+  let first =
+    GTree.view_column ~title:"Coq Command to try"
+      ~renderer:(renderer_comm,["text",command_col])
+      ()
   in ignore (view#append_column first);
 
   let renderer_coq = GTree.cell_renderer_text [`EDITABLE true] in
   ignore(renderer_coq#connect#edited
-	   ~callback:(fun (path:Gtk.tree_path) (s:string) -> 
-			store#set 
-			~row:(store#get_iter path) 
+	   ~callback:(fun (path:Gtk.tree_path) (s:string) ->
+			store#set
+			~row:(store#get_iter path)
 			~column:coq_col s));
-  let second = 
-    GTree.view_column ~title:"Coq Command to insert" 
-      ~renderer:(renderer_coq,["text",coq_col]) 
-      () 
+  let second =
+    GTree.view_column ~title:"Coq Command to insert"
+      ~renderer:(renderer_coq,["text",coq_col])
+      ()
   in ignore (view#append_column second);
 
-  let vbox = GPack.button_box `VERTICAL ~packing:hbox#pack ~layout:`SPREAD () 
+  let vbox = GPack.button_box `VERTICAL ~packing:hbox#pack ~layout:`SPREAD ()
   in
   let up = GButton.button  ~stock:`GO_UP ~label:"Up" ~packing:(vbox#pack ~expand:true ~fill:false) () in
-  let down = GButton.button 
-	       ~stock:`GO_DOWN 
-	       ~label:"Down" 
-	       ~packing:(vbox#pack ~expand:true ~fill:false) () 
+  let down = GButton.button
+	       ~stock:`GO_DOWN
+	       ~label:"Down"
+	       ~packing:(vbox#pack ~expand:true ~fill:false) ()
   in
-  let add = GButton.button ~stock:`ADD 
-	      ~label:"Add" 
-	      ~packing:(vbox#pack ~expand:true ~fill:false) 
-	      () 
+  let add = GButton.button ~stock:`ADD
+	      ~label:"Add"
+	      ~packing:(vbox#pack ~expand:true ~fill:false)
+	      ()
   in
-  let remove = GButton.button ~stock:`REMOVE 
-		 ~label:"Remove" 
-		 ~packing:(vbox#pack ~expand:true ~fill:false) () 
+  let remove = GButton.button ~stock:`REMOVE
+		 ~label:"Remove"
+		 ~packing:(vbox#pack ~expand:true ~fill:false) ()
   in
 
-  ignore (add#connect#clicked 
-	    ~callback:(fun b ->  
+  ignore (add#connect#clicked
+	    ~callback:(fun b ->
 			 let n = store#append () in
 			 view#selection#select_iter n));
-  ignore (remove#connect#clicked 
-	    ~callback:(fun b -> match view#selection#get_selected_rows with 
+  ignore (remove#connect#clicked
+	    ~callback:(fun b -> match view#selection#get_selected_rows with
 			 | [] -> ()
 			 | path::_ ->
 			     let iter = store#get_iter path in
 		       	     ignore (store#remove iter);
 		      ));
-  ignore (up#connect#clicked 
-	    ~callback:(fun b ->  
-			 match view#selection#get_selected_rows with 
+  ignore (up#connect#clicked
+	    ~callback:(fun b ->
+			 match view#selection#get_selected_rows with
 			   | [] -> ()
 			   | path::_ ->
 			       let iter = store#get_iter path in
@@ -89,9 +89,9 @@ let create l =
 			       let upiter = store#get_iter path in
 			       ignore (store#swap iter upiter);
 		      ));
-  ignore (down#connect#clicked 
-	    ~callback:(fun b ->  
-			 match view#selection#get_selected_rows with 
+  ignore (down#connect#clicked
+	    ~callback:(fun b ->
+			 match view#selection#get_selected_rows with
 			   | [] -> ()
 			   | path::_ ->
 			       let iter = store#get_iter path in
@@ -100,13 +100,13 @@ let create l =
 			       ignore (store#swap iter upiter)
 			       with _ -> ()
 		      ));
-  let get_data () = 
+  let get_data () =
     let start_path = GtkTree.TreePath.from_string "0" in
     let start_iter = store#get_iter start_path in
-    let rec all acc = 
+    let rec all acc =
       let new_acc = (store#get ~row:start_iter ~column:command_col,
 		     store#get ~row:start_iter ~column:coq_col)::acc
-      in      
+      in
       if store#iter_next start_iter then all new_acc else List.rev new_acc
     in all []
   in