[gnome-builder] plugins/messages: fix style and scrolling

[Christian Hergert <chergert src gnome org>]

commit a80a1dfef0eb4e5f3704b99630ea746ed445466f
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 25 23:41:45 2022 -0700

    plugins/messages: fix style and scrolling

 src/plugins/messages/gbp-messages-panel.ui | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/src/plugins/messages/gbp-messages-panel.ui b/src/plugins/messages/gbp-messages-panel.ui
index 3bea6545e..c4066e1fb 100644
--- a/src/plugins/messages/gbp-messages-panel.ui
+++ b/src/plugins/messages/gbp-messages-panel.ui
@@ -5,9 +5,11 @@
     <property name="title" translatable="yes">Messages</property>
     <child>
       <object class="GtkScrolledWindow">
+        <property name="hscrollbar-policy">never</property>
+        <property name="vscrollbar-policy">external</property>
         <property name="hexpand">true</property>
         <child>
-          <object class="VteTerminal" id="terminal">
+          <object class="IdeTerminal" id="terminal">
             <property name="hexpand">true</property>
             <property name="scroll-on-output">false</property>
           </object>