diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 01:29:07 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 03:53:40 +0200 |
commit | 5a90c69f8e4699f205ec3e59cfd49ad9fb9f6f87 (patch) | |
tree | 9d31cb58d1c6166beec1757668e73ad5d794b0d6 /ide/session.ml | |
parent | 2c70dd6a256ed4cac2b74bd0c8719ab37fffcb84 (diff) |
Turning CoqIDE preferences into new style.
Some old style references remain because all type converters are not
implemented yet.
Diffstat (limited to 'ide/session.ml')
-rw-r--r-- | ide/session.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/ide/session.ml b/ide/session.ml index a795f6331..0b26c1f65 100644 --- a/ide/session.ml +++ b/ide/session.ml @@ -50,8 +50,8 @@ let create_buffer () = let buffer = GSourceView2.source_buffer ~tag_table:Tags.Script.table ~highlight_matching_brackets:true - ?language:(lang_manager#language prefs.source_language) - ?style_scheme:(style_manager#style_scheme prefs.source_style) + ?language:(lang_manager#language source_language#get) + ?style_scheme:(style_manager#style_scheme source_style#get) () in let _ = buffer#create_mark ~name:"start_of_input" buffer#start_iter in @@ -255,7 +255,7 @@ let make_table_widget ?sort cd cb = let () = data#set_headers_visible true in let () = data#set_headers_clickable true in let refresh () = - let clr = Tags.color_of_string current.background_color in + let clr = Tags.color_of_string background_color#get in data#misc#modify_base [`NORMAL, `COLOR clr] in let mk_rend c = GTree.cell_renderer_text [], ["text",c] in |