From: "Haelwenn (lanodan) Monnier" <contact@hacktivis.me>
Better way would probably be to allow the window to grow even with scrollbars
enabled but I'm not sure if GTK allows that, at least I haven't found one
via looking in the documentation and tweaking properties via the GTK Inspector
(GTK_DEBUG=interactive environment variable).
---
hiprompt_gtk/window.py | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/hiprompt_gtk/window.py b/hiprompt_gtk/window.py
index 840dbcc..c85d9ef 100644
--- a/hiprompt_gtk/window.py+++ b/hiprompt_gtk/window.py
@@ -174,9 +174,10 @@ def make_disclose_ui(self):
self.header.pack_end(grant)
scroller = Gtk.ScrolledWindow()
+ scroller.set_size_request(-1, 200) scroller.set_propagate_natural_height(True)
scroller.set_propagate_natural_width(True)
- scroller.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.NEVER)+ scroller.set_policy(Gtk.PolicyType.NEVER, Gtk.PolicyType.AUTOMATIC) self.box.add(scroller)
box = Gtk.Box(orientation=Gtk.Orientation.VERTICAL, spacing=5)
--
2.39.2