[gui] scroll utility

src/plugins/gui/wbox.ml

@@ -110,3 +110,11 @@ let split ~dir ?get ?set w1 w2 =
     ignore (pane#event#connect#button_release ~callback) ;
   end ;
   new Wutil.gobj_widget pane
+
+let scroll ?(hpolicy=`AUTOMATIC) ?(vpolicy=`AUTOMATIC) w =
+  let scrolled = GBin.scrolled_window ~vpolicy ~hpolicy () in
+  scrolled#add_with_viewport w#coerce ;
+  new Wutil.gobj_widget scrolled
+
+let hscroll w = scroll ~vpolicy:`NEVER w
+let vscroll w = scroll ~hpolicy:`NEVER w

src/plugins/gui/wbox.mli

@@ -87,3 +87,15 @@ val split :
   ?get:(unit -> float) ->
   ?set:(float -> unit) ->
   widget -> widget -> widget
+
+(** default policy is AUTOMATIC *)
+val scroll:
+  ?hpolicy:[`AUTOMATIC|`ALWAYS|`NEVER] ->
+  ?vpolicy:[`AUTOMATIC|`ALWAYS|`NEVER] ->
+  widget -> widget
+
+(** Same as [scroll ~vpolicy:`NEVER] *)
+val hscroll : widget -> widget
+
+(** Same as [scroll ~volicy:`NEVER] *)
+val vscroll : widget -> widget