diff options
Diffstat (limited to 'ide/wg_MessageView.ml')
| -rw-r--r-- | ide/wg_MessageView.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/wg_MessageView.ml b/ide/wg_MessageView.ml index 211db537ed..3fff019452 100644 --- a/ide/wg_MessageView.ml +++ b/ide/wg_MessageView.ml @@ -86,7 +86,7 @@ let message_view () : message_view = method refresh_color () = let open Preferences in - let clr = Tags.color_of_string current.background_color in + let clr = Tags.color_of_string background_color#get in view#misc#modify_base [`NORMAL, `COLOR clr] end |