coqide: GtkData dep

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3994 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 4 insertions, 2 deletions

diff --git a/ide/coqide.ml b/ide/coqide.ml
index 0a258c7416..db87e47b9f 100644
--- a/ide/coqide.ml
+++ b/ide/coqide.ml
@@ -1541,7 +1541,9 @@ let main files =
       let b = Buffer.create 1024 in
       with_file f ~f:(input_channel b);
       let s = do_convert (Buffer.contents b) in
-      let view = create_input_tab (Glib.Convert.filename_to_utf8 (Filename.basename f)) in
+      let view = create_input_tab (Glib.Convert.filename_to_utf8 
+				     (Filename.basename f)) 
+      in
       view#misc#modify_font !current.text_font;
       let index = add_input_view {view = view;
 				  analyzed_view = None;
@@ -1811,7 +1813,7 @@ let main files =
   let read_only_i = edit_f#add_check_item "Expert" ~active:false
 		      ~key:GdkKeysyms._Z
 		      ~callback:(fun b -> 
-				GtkData.AccelGroup.save "tutu.l"
+				   ()
 				) 
   in
   read_only_i#misc#set_state `INSENSITIVE;