setSelectionProperty

Hi,

We are moving away from activewidgets since we are open source and Chrome is not working with the latest free version.
Looking to our code I came across these functions

setSelectionProperty
getSelectionProperty
defineSelectionProperty

As to my knowledge these are not standard JS functions. Where are they defined? I want to create similar functions for our new grid.