gtk.py 文件源码

def set_scroll_position(widget, value, direction='vertical'):
  viewport = widget.get_ancestor(Gtk.Viewport)

  if direction == 'vertical':
    viewport.get_vadjustment().set_value(value)

  if direction == 'horizontal':
    viewport.get_hadjustment().set_value(value)