[gnome-builder] plugins/messages: fix style and scrolling
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] plugins/messages: fix style and scrolling
- Date: Tue, 26 Jul 2022 06:41:57 +0000 (UTC)
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>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]