Element: treenode.select { }
Element: treenode.select { }callback
A callback procedure invoked when treenode has been selected, either by clicking on its text label, or by keyboard traversal using the up/down arrow keys. During traversal, selection only kicks in after a delay of 1 second.
This procedure is a class procedure so can only be set via a treenode class name not via a treenode instance name, e.g. if a treenode "mynode" is of class "database_t", then database_t.select can be set, but mynode.select may not.
<treenode>.select(<treenode>)