# File window.rb, line 127
  def deleteWidget(widget)
    id=widget.id
    @guiWidgets.delete_at(id)
  end