addHandlerDestroy: Assign handler to destroy event (such as page being unloaded)

In jverzani/gWidgetsWWW2: Toolkit implementation of the gWidgets API for use with web pages

Description

Assign handler to destroy event (such as page being unloaded)

Usage

addHandlerDestroy(x, ...)

Arguments

x	the object
...	Used to pass through handler, and action values. The handler is a function whose first argument is a list that contains components obj to return the object and action, holding the action value, and possibly others.

Value

a callback id, used with removeHandler

jverzani/gWidgetsWWW2 documentation built on Feb. 9, 2020, 5:18 p.m.