callback
The command procedure to be executed when web_window has just visited a new page. This may happen as a result of a link navigation or after the value of window.url has changed.
When a post_navigate procedure is executed, the window identifier is passed to the procedure as its first parameter. The url of the new page is also passed as the second parameter in the form of a string value.
New windows have a post_navigate procedure of null.
window.post_navigate (<window>,<url>)
window mywin = wweb mywin.post_navigate = { args w=window, url=string tell <'Just loaded',url,'...'> }
Structures: |