Merge PR #6947: coqide: queries from the query window are routed there (fix #5684)

1 files changed, 2 insertions, 2 deletions

diff --git a/ide/wg_MessageView.mli b/ide/wg_MessageView.mli
index e7ec3c5788..472aaf5ed4 100644
--- a/ide/wg_MessageView.mli
+++ b/ide/wg_MessageView.mli
@@ -26,8 +26,8 @@ class type message_view =
     method refresh : bool -> unit
     method push : Ideutils.logger
       (** same as [add], but with an explicit level instead of [Notice] *)
-    method buffer : GText.buffer
-      (** for more advanced text edition *)
+    method has_selection : bool
+    method get_selected_text : string
   end
 
 val message_view : unit -> message_view