1997

• load_icon (name) {

• • filename = “/usr/share/gnome/icons” + name + “.png”
  • icon = load_png (filename)
  • return icon

• }