diff options
Diffstat (limited to 'ide')
| -rw-r--r-- | ide/coqide.ml | 6 |
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; |