From e9b239881bc32dd15ac53b9463708030c95a9e0c Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr>
Date: Thu, 12 Feb 2015 18:54:10 +0100
Subject: Focussing on message view in CoqIDE when a message is pushed.

Also fixes bug #4030.
---
 ide/wg_MessageView.mli | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'ide/wg_MessageView.mli')

diff --git a/ide/wg_MessageView.mli b/ide/wg_MessageView.mli
index cd3f00c97..4dcd7306b 100644
--- a/ide/wg_MessageView.mli
+++ b/ide/wg_MessageView.mli
@@ -6,9 +6,17 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
+class type message_view_signals =
+object
+  inherit GObj.misc_signals
+  inherit GUtil.add_ml_signals
+  method pushed : callback:(Pp.message_level -> string -> unit) -> GtkSignal.id
+end
+
 class type message_view =
   object
     inherit GObj.widget
+    method connect : message_view_signals
     method clear : unit
     method add : string -> unit
     method set : string -> unit
-- 
cgit v1.2.3