Changes

* New : [[on.getFocus]] is called when the script receives user input focus.

* New : [[on.getFocus]] is called when the script receives user input focus.

* New : [[on.loseFocus]] is called when the script loses user input focus.

* New : [[on.loseFocus]] is called when the script loses user input focus.

* New : [[on.getSymbolList]] is called when the script app symbol list is being serialized to the clipboard.  

* New : [[on.getSymbolList]] is called when the script app symbol list is being serialized to the clipboard.

* Changed : if the mouse ([[cursor]]) is not shown whenever the user presses the center button of the clickpad/touchpad, [[on.mouseDown]] is now fired, with its parameters x and y being both 0.

==Graphical operations==  

==Graphical operations==