# File gtk/sample/testgtk/notebook.rb, line 267
  def set_page_pixmaps(notebook, page_num, pix, mask)
    child = notebook.get_nth_page(page_num)
    label = notebook.get_tab_label(child).children[0].set(pix, mask)
  end