Element: treenode.deselect { }
Element: treenode.deselect { }callback
A callback procedure invoked when treenodehas lost selection, either by selecting another node, or by traversal using the up/down arrow keys. 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.deselect can be set, but mynode.deselect may not.
<treenode>.deselect(<treenode>)