How do I scroll a ScrolledWindow to the position of a given child widget?
One common request is to get a ScrolledWindow to adjust to display one of the widgets it contains — frequently you’d like to adjust the scrollbar to display the widget that receives focus. This is possible by using the set_value method of the ScrolledWindow’s adjustment object in conjunction with the child widget’s `focus_in_event’ signal.