From 4c202177e7d1a26f3b8bc105a1ceb604f178b584 Mon Sep 17 00:00:00 2001 From: Pierre-Marie Pédrot Date: Sun, 16 Aug 2015 05:00:48 +0200 Subject: 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. --- ide/wg_MessageView.mli | 1 - 1 file changed, 1 deletion(-) (limited to 'ide/wg_MessageView.mli') diff --git a/ide/wg_MessageView.mli b/ide/wg_MessageView.mli index 23c94f404..4dcd7306b 100644 --- a/ide/wg_MessageView.mli +++ b/ide/wg_MessageView.mli @@ -25,7 +25,6 @@ class type message_view = method buffer : GText.buffer (** for more advanced text edition *) method modify_font : Pango.font_description -> unit - method refresh_color : unit -> unit end val message_view : unit -> message_view -- cgit v1.2.3