diff options
author | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 05:00:48 +0200 |
---|---|---|
committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2015-08-16 17:53:34 +0200 |
commit | 4c202177e7d1a26f3b8bc105a1ceb604f178b584 (patch) | |
tree | d8dc7180712a34a44cfecc218761820011d2afc4 /ide/coqide.ml | |
parent | cda147bf2b22e5230abd6fb604e9b8c105828717 (diff) |
Using the new preference mechanism for colors in CoqIDE.
A lot of legacy code has been removed in the process in favour of
signal-based interactions.
Diffstat (limited to 'ide/coqide.ml')
-rw-r--r-- | ide/coqide.ml | 17 |
1 files changed, 1 insertions, 16 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index e8bdf5e0e..46d99913e 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -828,8 +828,6 @@ let refresh_editor_prefs () = else 0 in let fd = prefs.text_font in - let clr = Tags.color_of_string background_color#get - in let iter_session sn = (* Editor settings *) sn.script#set_wrap_mode wrap_mode; @@ -854,18 +852,6 @@ let refresh_editor_prefs () = sn.messages#modify_font fd; sn.command#refresh_font (); - (* Colors *) - Tags.set_processing_color (Tags.color_of_string processing_color#get); - Tags.set_processed_color (Tags.color_of_string processed_color#get); - Tags.set_error_color (Tags.color_of_string error_color#get); - Tags.set_error_fg_color (Tags.color_of_string error_fg_color#get); - sn.script#misc#modify_base [`NORMAL, `COLOR clr]; - sn.proof#misc#modify_base [`NORMAL, `COLOR clr]; - sn.messages#refresh_color (); - sn.command#refresh_color (); - sn.errpage#refresh_color (); - sn.jobpage#refresh_color (); - in List.iter iter_session notebook#pages @@ -1315,13 +1301,12 @@ let build_ui () = Tags.Script.incomplete#set_property (`BACKGROUND_STIPPLE (Gdk.Bitmap.create_from_data ~width:2 ~height:2 "\x01\x02")); - Tags.Script.incomplete#set_property - (`BACKGROUND_GDK (Tags.get_processed_color ())); (* Showtime ! *) w#show () + (** {2 Coqide main function } *) let make_file_buffer f = |